Posts about Lean

OpenAI torche 90 problèmes de maths ouverts et se fait traiter de mafieux

722 manuscrits, 372 familles de résultats, un modèle pas encore sorti : la communauté mathématique commence à parler de méthodes de mafia.