#mathematics のAIニュース

10件の記事

未公開モデル「Astra」が主要な数学問題10問を解決と報告

The Zvi は、OpenAI が未公開のモデル「Astra」が主要な数学問題 10 問を解決したと報告したが、その詳細や範囲については不明である。

AnthropicがClaudeを用いた暗号解読研究を報告した直後、OpenAIは次期大型モデル「Astra」の内部版に対し、進展が見られなかった数学問題10問の解決を試みるよう指示したと報じられた。

TLDR AI が、AI の数学的推論能力を評価する「ラマヌジャン・チャレンジ」を発表した。この挑戦は、AI が高度な数理論理や未解決問題の解決を試みることを目的としている。

2025 年、7 ヶ月目のスタートアップ企業「Axiom」が、難関の数学試験「プットナム試験」で全 12 問を解き、最優秀学生や既存 AI システムを上回る成績を収めた。