OpenAI、
独立ソース4
6時間の増加+3
一次情報1
続報0
要
この話題の要約
4ソースから · 3行で- OpenAI が数学の未解決問題の成果 722 本を公開しました。
- 多くには Lean の形式証明が付いています。
- 数学者組織は成果の過程を支持しないと強調しました。
最新の動き10/7（水） 09:35
数学者組織が成果の過程を支持しないと強調しました。AI要約です。詳しくは出典へ。
典
タイムライン
4ソース · 新しい順 · JST10月7日（水）
10月6日（火）
この話題の熱量
いまの熱量 35最大 35（10/7（水） 11:00）24 時間前と比べて 不明
続けて確認できた同じ範囲のソースだけを比べています。いまの熱量の集計より、範囲が狭いことがあります。ポインタを動かすか、タップすると 1 時間ごとの熱量が出ます。キーボードは左右の矢印で動かせます。