Claude、ゼータ下界を67%へ
Anthropicは未公開研究版Claudeが、リーマンゼータ零点の下界を41.6%から67.2%へ進めたと発表した。
AI研究のニュースと分析
AI研究に関する製品動向と業界分析を全5件掲載しています。
OpenAI、Astraで10本の証明を公開
OpenAIはAstraの初公開シグナルとして、数学と理論計算機科学の10件の成果、249ページの論文、Lean証明書、推論記録を公開した。
GPT-5.6、グラフ理論の証明を提出
GPT-5.6、グラフ理論の証明を提出。確認済みの事実と、その背後にある産業上の意味を簡潔に整理する。
Anthropic、研究室向けClaude Scienceを公開
Anthropic、研究室向けClaude Scienceを公開。発表や報道の要点、主要な数字、企業側の説明、市場への意味を自然なニュース文体で整理した。
Anthropic、監査可能なClaude Scienceを提示
Anthropic、監査可能なClaude Scienceを提示。