Mathematical AI Safety Institute

【geek-terminalニュース】数学者がAI証明時代の“信用プロトコル”を作り始めた最新情報

📝 本日のニュース概要以前お伝えしたOpenAI数学証明論争の続報。今回は個別証明の真偽ではなく、Caltech Mathathonへの反対書簡、Reddit/HNの“AI math slop”反応、そしてMathematical AI ...