数学的なAI

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

中国の研究者がTongGeometryを開発しました。これは自律的な問題解決と数学的推論能力においてDeepMindのAlphaGeometryを上回る汎用人工知能（AGI）システムです。