Bitter Lesson

強化学習の第一人者でチューリング賞受賞者のリチャード・サットンが、現在の生成AIには自らの出力を評価する能力が欠けていると指摘した。検証の仕組みを持たない限り、真の科学的発見は難しいという。生成AIの能力の輪郭をめぐる本質的な論点を投げかけている。

OpenAIの推論モデルが、数学者ポール・エルデシュが1946年に提示した単位距離幾何学の予想を反証する証明を提示した。代数的整数論の手法を用いており、専門家が現在検証を進めている。AIが「未解決問題に貢献する道具」段階から「単独で結論を提示する主体」段階に踏み込んだ最初の事例の一つ。