数学記録

Google DeepMindが開発したAlpha Evolveが数十年にわたり解決されなかったラムゼー理論の数学記録を複数同時に更新した。このシステムは問題を直接解くのではなく、問題を解くためのアルゴリズム自体を進化させるという革新的なア...