OpenAI、内部版「Astra」が10年来未解の数学難問10問を解決——算力コストは約2,000ドル
OpenAIの次世代主力モデルファミリー「Astra」の内部版が、数学・量子複雑性・理論計算機科学の分野で少なくとも10年以上未解決だった10の未解決問題を解決したと報告された。全解答のトークンコストはSol APIレートで換算すると約2,
数学突破 に関するニュース
OpenAIモデルが80年前のErdős幾何予想を解明：125ページのAI証明が数学界に認められる
OpenAIの先進AIモデルが、数学者Paul Erdősが80年以上前に提唱した幾何予想を自律的に証明することに成功した。生成された125ページに及ぶ証明文書は厳密な内容で、複数の数学専門家から認められている。
OpenAIがAIによるエルデシュ予想の自主解決を主張、数学者の検証後に真偽論争が激化
OpenAIが2026年5月20日に内部の汎用推論モデルが1946年のエルデシュ平面単位距離予想を改善する無限構造族を自主発見したと発表し、数学者が検証を完了。しかしWinzhengはexecutionとgroundingの観点から、形式化