Math 2.0

【geek-terminalニュース】Terence TaoのMath 2.0とAI数学計算資源論の最新情報

📝 本日のニュース概要以前お伝えしたAI生成数学原稿とTerence Tao周辺議論の続報です。今回はOpenAI数学原稿そのものではなく、Tao氏のCaltech講演スライド「Math 2.0」を中心に、AI数学を証明生成ではなく探索科...