AIがコンピュータ科学の27年来の柱を崩したとOpenAIとAnthropicが主張
OpenAIとAnthropicは、自社のモデルが1999年に提唱された理論計算機科学の柱である指数時間仮説の見かけ上の反証を生み出したと述べており、証明はLeanで形式的に検証されたが、人間による完全な確認はまだされていない。Scienceによると、Anthropicはこの仮説を前提とする論文が800本超あると数えており、現時点での実用的な影響は限定的だ。これは長年の理論的基盤を揺るがし、検証が未完のままでも最先端AIシステムが数学の論争的な最前線に到達していることを示す点で重要だ。
報道ソース
- Hacker News (AI)2026-11-03 17:43