#数学

2件の記事

OpenAIは8月1日、次期モデルAstraが数学と理論計算の未解決問題10件を解き、機械検証できる証明を公開したと発表した。計算費用は約2000ドル。専門家が一流誌への推薦に値すると評した。AIが専門知識労働を担う射程を示す出来事だ。

OpenAIが推論モデルGPT-5.6 Sol Ultraで、50年来未解決のサイクル二重被覆予想の証明とみられる文書を作成したと発表した。査読はまだで正しさは未確定。企業がAI出力を検証する体制の参考になる。