オリジナル OpenAI Astra、数学的証明をデモ――支持者と懐疑派の激しい対立を招く OpenAIがAstraモデルによる重大な数学・計算機科学難問（非ソフィック群の存在など）の証明デモを実施し、X（旧Twitter）上で支持者と懐疑派の真っ向対立を引き起こした。真実性・計算コスト・人間の研究への影響をめぐる議論が、過去24 AI模型 数学证明 行业争议 2026年8月1日 1,041
