标题：OpenAI科学家：现有模型+后训练足以产生黎曼猜想的新证明

奇月 发自 凹非寺 量子位 | 公众号 QbitAI

OpenAI科学家塞巴斯蒂安・布贝克（Sebastien Bubeck）提出AI模型能力可用“AGI时间”衡量：GPT-4可在秒或分钟内完成人类任务，o1模型能在数小时内完成人类任务，预计明年可实现AGI日级，3年后可实现AGI周级，有望解决重大开放问题。

塞巴斯蒂安坚信LLM潜力巨大，认为现有模型加上更多数据和后期训练足以解决数学难题。他指出，GPT-4和o1模型在多个领域表现优异，特别是在医学诊断和高中科学知识问答方面接近人类水平。后训练技术，如强化学习，使模型在复杂任务中实现质的飞跃。

反方辩手汤姆·麦考伊（Tom Mccoy）则认为，LLM受限于训练数据频率，难以跳出固有模式，且存在长推理过程中的幻觉问题，难以实现新思考模式。他强调，模型在处理数学问题时缺乏专业推导，需要从底层架构和训练理念上进行变革。

帕维尔・伊斯梅洛夫建议结合证明验证器和符号空间探索方法，或许能为解决数学难题另辟蹊径。安库尔・莫伊特拉认为解决重大数学问题需产生新想法，建议未来模型发展聚焦知识的有效表示和数学家与模型间的高效协作模式。

正反双方观点基本持平。