跳到正文
原文
AGI Hunt· ZeeshanZiaML·· 8 小时前AI 评分49

数学圈抵制 OpenAI 模型生成证明:未经独立验证只是一纸声明

数学圈抵制 OpenAI 模型生成证明:未经独立验证只是一纸声明

AI 导读

数学社区就如何对待 OpenAI 发表的模型生成证明展开争论:数学真理不依赖共识,但证明被接受为正确仍需社区确认。m4h007 认为回应应是声明「不把这些论文当作完成的工作来接受」,证明者有责任让独立验证可行,否则只是一项声明。转发者 @onionesque 称咨询约 20 位专家,多数模型生成证明不可读如乱码,应像对待 Mochizuki 的 abc 证明一样不予理会。

来源:AGI Hunt · agihunt.info