AI数学

OpenAIは、1万体のAIエージェントが88時間で100万ドル相当の数学問題を解いたと述べており、証明、検証、AI研究をめぐる疑問を投げかけている。

DeepMindのAletheiaというAIは、悪名高く難解な13件のエルデシュ問題を解決することでブレイクスルーを達成し、高度な数学研究における前例のないAIと人間の協働を実証した。