The AI Claude manages to formalize the proof of Fermat's last theorem in eleven days
🌐 Automatic translation of the French article. View the original article 🇫🇷
AI Claude manages to formalize the proof of Fermat's last theorem in eleven days Le Monde.fr
Read the source
Source ↗
Keywords
#intelligence artificielle
#ia
#claude
Also available in
Related articles
📰
Technology: Why AI can no longer be separated from Trumpf
📰
Schools - Students faced with the shortage of teachers: AI sometimes plays the role of substitute - Education
📰
33 fois moins cher – La Chine attire les développeurs allemands dans la dépendance à l'IA
📰
OTV-Tip: "Klara and the Sun" – Can artificial intelligence love?