AIプラットフォーム動向

10月22日、madrobot.blogが「Microsoft researchers say AI agents helped crack a famous 31-year-old maths problem」と題した記事を公開した。1995年から31年間にわたって未解決だった数学の難問「KLS予想」が、AIエージェントと人間研究者の協働によってついに証明されたという。AIが100以上のアプローチを並列探索し、人間が最終的な突破口となるアイデアを提供する——従来の数学研究では見られなかったこのパターンが、今後の研究手法の雛形になりうると注目を集めている。