#mathematical reasoning のAIニュース
4件の記事
Claude が OpenAI の画期的なエルデシュ問題に「可愛く単純な証明」で解決したと報じられる（2 分読）
AI モデル「Claude」が、数学界の著名な未解決問題である「OpenAI のエルデシュ問題」と呼ばれる課題に対し、簡潔で直感的な証明手法を用いて解決した可能性が報告されています。
TLDR AI·5月27日·★★★★★
Gemini Deep Thinkによる数学・科学の発見の加速
Deep Thinkは様々な分野で影響を拡大しており、研究論文がその効果を示している。
Google DeepMind·2月10日·★★★★
DeepSeek、再帰的証明探索と新ベンチマークでニューラル定理証明を進展させる「DeepSeek-Prover-V2」を発表
DeepSeek AIは、Lean 4環境での形式定理証明専用大規模言語モデル「DeepSeek-Prover-V2」を公開した。同モデルは再帰的定理証明パイプラインを採用し、DeepSeek-V3から高品質な初期データを生成することで最先端の性能を実現した。
Synced Review·5月1日·★★★★★
数学的推論における効果的なプロセス監督への取り組み
研究者は、数学的推論で誤算や論理エラーを頻発する大規模言語モデルに対し、推論過程を検証するプロセス監督手法を提案し、信頼性を向上させる。
Qwen Blog·1月14日·★★★★