ページを読み込み中…
ページを読み込み中…
6件の記事
中国数学者の王虹氏と邓煜氏が受賞した背景を受け、腾讯混元が公開した科研智能体「Hyra」が、加法組合学における半世紀以上の未解決問題に対して完全な解答を示した。
AI エージェントは検証可能な答えを持つ領域において、ループ処理を通じて複雑なタスクを完了できる新たな「ブルートインテリジェンス」の形態を示し、知能の高さよりも速度で差を埋める可能性が示された。
AI モデル「Claude」が、数学界の著名な未解決問題である「OpenAI のエルデシュ問題」と呼ばれる課題に対し、簡潔で直感的な証明手法を用いて解決した可能性が報告されています。
Deep Thinkは様々な分野で影響を拡大しており、研究論文がその効果を示している。
DeepSeek AIは、Lean 4環境での形式定理証明専用大規模言語モデル「DeepSeek-Prover-V2」を公開した。同モデルは再帰的定理証明パイプラインを採用し、DeepSeek-V3から高品質な初期データを生成することで最先端の性能を実現した。
研究者は、数学的推論で誤算や論理エラーを頻発する大規模言語モデルに対し、推論過程を検証するプロセス監督手法を提案し、信頼性を向上させる。