学術研究 【geek-terminalニュース】OpenAIのAI数学証明大量公開で査読インフラが揺れ始めた最新情報
📝 本日のニュース概要 OpenAIが未公開内部モデルで生成した数学原稿722本を公開し、372の結果ファミリーとして提示。Lean形式化、GitHub公開、査読負荷、数学コミュニティの反応まで深掘りします。 以前お伝えしたAI数学・Lea...
未解決問題
学術研究 学術研究 【geek-terminalニュース】数学証明AIが揺らす査読と形式証明の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学問題突破説の続報です。今回はAstra単体ではなく、Fableによる再現疑惑、Lean/Coq/F*の形式証明、数学者コミュニティの検証問題までを横断して整理します。 以前お...
学術研究 【geek-terminalニュース】数学証明AIが揺らす査読と形式証明の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学問題突破説の続報です。今回はAstra単体ではなく、Fableによる再現疑惑、Lean/Coq/F*の形式証明、数学者コミュニティの検証問題までを横断して整理します。 以前お...
学術研究 【geek-terminalニュース】OpenAI Astra数学突破疑惑の最新情報
📝 本日のニュース概要 OpenAIの未公開モデル「Astra」が数学・理論計算機科学の未解決問題10件で新結果を出した、という主張がRedditと二次報道で拡散中。ただし公式発表・査読・独立検証は未確認。今回の焦点は性能表ではなく、証明の...