AI による数学の支配をめぐる論争

この一年、OpenAI や Anthropic などのラボが、長年未解決だった数多くの数学の問題で突破口を発表した。中には、研究者が現在のシステムに期待していた能力を大きく超えるものもあり、有名なミレニアム懸賞問題の一つを解決した例も含まれる。しかしこれらの成果は一致した評価を得られず、むしろ学界で反発を招いている。AI ラボ側は以前の過ちから学んでいると述べているが、その約束が実を結ぶかはまだ分からない。