4分
数学者9人の独立グループ、OpenAI の数学成果の公開に助言
OpenAI が独立した数学者 9 人の助言グループと組む。無報酬・提言は自前で公開・決定権はなし。AI の「解けた」を誰が確かめるかの仕組みを読む。
INDEX · KEYWORD
検証
「検証」に関連する公開記事をまとめています。
- KEYWORD
- 検証
- 範囲
- 公開記事
- 公開数
- 3本公開
関連記事
2–3 / 全3本
4分
Claudeが証明したのはリーマン予想ではない——「零点の67.2%」という下限と、手元で検証できるLeanのコード
未公開の研究版Claudeが、ゼータ関数の零点のうち臨界線上にあると証明できる割合の下限を41.6%から67.2%へ引き上げた。リーマン予想は解けていない。注目したいのは記録より、その証明がLeanで形式化され、誰でも手元で通せる形で公開されたことのほうだ。
8分
Daily Intel 7/30｜最前線のAIを「持つ人」が増える——研究アクセスと、検証責任の再配分
OpenAIが、科学者・数学者・エンジニアに最前線モデルへの無償アクセスを提供すると発信した。続く投稿では、フロンティアAIの恩恵を少数の企業や資金のある研究機関に集中させたくない、と理由を説明している。