OpenAI Astra : la preuve formelle va-t-elle remplacer les chercheurs ?
Contenu de l'épisode
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