#リーマン予想

オープンエーアイは6日、未公開の最先端模型が約4000問から372系統・原稿722本の数学成果を出したと公式に公開した。8日には社内研究者がリーン形式化の追加と3本の撤回を告知し、準リーマン予想をフィールズ賞級と見る声と、符号誤りや原稿と形式化のずれを根拠に未検証だと見る声が同時に出ている。

Anthropic未公開研究版Claudeがゼータ零点の下界を41.6%から67.2%へ引き上げた発表の余波が、GIGAZINEと数学解説経由で続く。数学AIの前進とする声と、予想自体は未解決・100%でも証明にならないという慎重論が対立している。