OpenAI、AI数学手稿722篇を公開――最大規模公開ベンチマークの背後にある透明性をめぐる攻防
OpenAIは2026年10月6日、GitHubに722篇の数学手稿を公開し、準リーマン予想など主要4分野の成果を含む史上最大規模のAI数学出力公開集を提供した。学術ガバナンス機関AGMAIの勧告を受けて整備された透明性基準に沿った発布だが
数学推理 に関するニュース
OpenAI Astra、24時間以内に10件のLean 4数学難問を解決——推論コストは2000ドル未満、トレーニング詳細は未公開
OpenAIが発表したAstraモデルが24時間以内にLean 4で認証された10件の長期未解決数学・理論計算機科学問題を解決し、推論コストが2000ドル未満に抑えられたことが複数の情報源により確認された。ただしトレーニングの詳細は依然とし
DeepSeek-V2発表：中国語数学推論でGPT-4oを超える、236Bパラメータで効率的なリード
中国のAIスタートアップ企業DeepSeekが最新の大規模言語モデルDeepSeek-V2を発表しました。このモデルは、中国語の数学推論ベンチマークでOpenAIのGPT-4oを超える性能を示し、ユニークなMoEアーキテクチャを使用して効率