论文Agent 与开发者多源确认88°08:51OpenAI 公布数学、计算机科学与物理学三组研究主张，邀请学界核验OpenAI 让模型写出了可能推翻 ETH 的证明，还请了 Impagliazzo 这些大牛来核验，Lean 形式化也做了一部分，看看到底靠不靠谱。#OpenAI#指数时间假说#SAT求解#Lean形式化10 个信源在谈事件专题SSuperTechFans11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI