Claude、ゼータ下界を67%へ
Anthropicは未公開研究版Claudeが、リーマンゼータ零点の下界を41.6%から67.2%へ進めたと発表した。
数学のニュースと分析
数学に関する製品動向と業界分析を全4件掲載しています。
数学に関する製品動向と業界分析を全4件掲載しています。
Anthropicは未公開研究版Claudeが、リーマンゼータ零点の下界を41.6%から67.2%へ進めたと発表した。
OpenAIはAstraの初公開シグナルとして、数学と理論計算機科学の10件の成果、249ページの論文、Lean証明書、推論記録を公開した。
GPT-5.6、グラフ理論の証明を提出。確認済みの事実と、その背後にある産業上の意味を簡潔に整理する。
DeepSeekは、Lean 4形式検証システム内で数学定理を自動証明する専用モデルProver-V2をリリースし、miniF2Fベンチマークで最新のトップ水準に迫る成果を達成した。