OpenAI Drops 722 AI-Generated Math Papers, But Only 22% Are Formally Verified
..................
https://nile1.com/openai-drops-722-ai-generated-math-papers-but-only-22-are-formally-verified/
..................
#aiGeneratedProofs #andrewSutherland #anthropic #fermat'sLastTheorem #instituteForAdvance

»We are sharing the first complete computer-checked proof of #Fermat’s Last Theorem. #Claude worked largely autonomously over 11 days to write the proof in the Lean programming language.« #KI #AI buff.ly/q2VIY8r

www.zmescience.com/science/news... An AI Formalized and Verified Fermat’s Last Theorem in 11 Days, a Task Expected to Take Years

Claude did not rediscover the proof. It made the existing one machine-checkable #Math #Maths #iteachmath #MathSky #MTBoS #AI #Fermat #proof

Dans le domaine des ENR, les chiffres parlent et les chercheurs ont choisi leur positionnement : 12 000 soumissions à Renewable Energy depuis janvier (x3 en 2 ans). Personne ne croit à une coïncidence.

#IA #AI #NavierStokes #Fermat #Maths #Physique #DataScience

Courrier international – L’ #IA “formalise” le dernier #Rhéorème de #Fermat en seulement 11 jours , er 13 millions de lignes de #code vérifiables par #ordinateur .
Aucun #mathématicien #humain n’y était encore pas parvenu

www.courrierinternational.com/article/math...