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