HomeAI · summaries
Storia in 2 fonti
Fermat: la dimostrazione di Wiles era giusta, ora lo dice anche l’AI
L’anno scorso, si è scoperto grazie all’Intelligenza Artificiale che una delle dimostrazioni proposte per l’ultimo Teorema di Fermat era sbagliata. Ora, Anthropic, una delle principali aziende del settore, ha fatto verificare a un gruppo di agenti IA la dimostrazione dell’ultimo teorema di Fermat formulata da Wiles e Taylor nel 1995 e ha confermato la sua […]
Confronto fonti
2 prospettive sulla stessa storiaTimeline cronologica
- ·
nature.com
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem — a milestone for mathematics
Claude produced a 13-million-line, computer-checked proof of the famed conjecture in just 11 days.
- ·
maddmaths.simai.eu
Fermat: la dimostrazione di Wiles era giusta, ora lo dice anche l’AI
L’anno scorso, si è scoperto grazie all’Intelligenza Artificiale che una delle dimostrazioni proposte per l’ultimo Teorema di Fermat era sbagliata. Ora, Anthropic, una delle…