AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
Contenu original affiche; la traduction localisee n'est pas encore disponible.
Ce qui s'est passé
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
Pourquoi c'est important
The development may change operating conditions or market expectations around Anthropic. Further confirmation and measurable outcomes matter.
Entités concernées
AnthropicNeutre
Voir les preuves
1 articles · 1 publication d'origine · 1 independantes
- DecryptSource primaire · Confirme · EN · 100%AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever ↗
Affirmations
- AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever Observé
Divergences
Aucune divergence importante détectée dans les preuves disponibles.
Chronologie
- Premier signalement
Mouvement de marché suivant l'événement
La réaction du marché n'est pas encore disponible pour cet actif et cette fenêtre.
Explication des scores
Confiance · formule confidence-2.1.0
Fiabilité des sources80
Corroboration indépendante51
Preuve primaire35
Cohérence des affirmations82
Confiance d'extraction82
Qualité de l'attribution90
Impact · formule impact-2.1.0
Ampleur de l'événement45
Pertinence marché88
Importance des entités82
Étendue du marché54
Nouveauté68
Urgence55
Classement · formule rank-1.0.0
Facteur de confiance0.8425
Facteur de fraîcheur0.9996
Bonus d'urgence0