OpenAI Astra : la preuve formelle va-t-elle remplacer les chercheurs ?

Le centre de gravité · Aug 7, 2026 · 7m

En publiant dix preuves irréfutables certifiées en Lean 4 pour à peine 2 000 dollars, le modèle Astra d'OpenAI franchit un cap historique. Mais quand la vérification d'un théorème devient une routine logicielle, quelle place reste-t-il à la pensée humaine ? Plongée dans le nouveau paradigme d'une recherche scientifique pilotée par la certification formelle.

#secteurs #meta-volatile #maths #lean4 #openai