関連ニュース
OpenAI、社内AIがリーマン予想の関連難問を証明と主張 論文722本をGitHubで公開
米OpenAIは10月6日（現地時間）、社内のフロンティアモデルが生み出した数学の新たな成果をまとめて公開したと発表した。論文の原稿や証明支援系「Lean」で書かれた形式証明などをGitHubの...
はてなテクノロジー
10/07 01:43
AIに「そのまま続けろ！」「自分を信じろ！」と応援し続けることが人間の役目、Anthropicが未公開のClaudeによるリーマン予想解決の試みを公開
AI開発企業のAnthropicが、未公開の研究版Claudeに数学上の超難問「リーマン予想」の解決を試みさせたところ、リーマン予想そのものの証明には失敗したものの、関連する問題で従来の記録を大...
GIGAZINE
08/12 11:00
出典メディア
はてなテクノロジー (2)
GIGAZINE (1)
つながり
数字は「リーマン予想」と一緒に出てきた記事の本数。 グラフには強いものだけが出るので、ここが全部です。
リーマン
3
AI・人工知能
3
OpenAI
2
OpenAI / GPT
2
証明支援
1
...</a></
1
証明支援系
1
372個
1
米OpenAI
1
-claude
1
論文722
1
Anthropic / Claude
1
Claude
1
形式証明
1
AI開発
1
Github上
1
...</a></b
1
Twitter
1
】、-、tsujimotter
1
ノートブック
1
45;riemann&#
1
数学上
1
Anthropic
1
.net/news
1
最先端モデル
1
研究版Claude
1
フロンティアモデル
1
論文722本
1
GitHub
1
;hypothesis/">
1
数学的
1
722本
1
人間側
1
社内AI
1
関連難問
1
;hypothesis/">続き
1
href="https://
1
フロンティア
1
リーマン予想解決
1
Github
1