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