https://www.youtube.com/live/H3TnTxVKIOQ
知名理论计算机科学机构Simons Institute举办辩论：
"目前基于缩放定律的LLM，能否在未来几年内产生可以解决重大数学难题（如P≠NP、
黎曼猜想）的证明技术?"
正方OpenAI科学家Sebastien Bubeck表示
目前模型的能力加上更多的数据和后制训练就足以解决数学难题
GPT-4只有AGI秒级思考能力 o1模型有AGI分钟至小时级别
未来实现AGI日级、周级指日可待 可能明后年就达到
届时模型将拥有充足时间和能力找到解决重大猜想的路径
从GPT-3.5开始模型就可以实现在后训练过程中提取智能
到了o1模型时代采用强化学习使模型在复杂任务处理上实现质的飞跃
在特定数学问题中o1能迅速关联看似不相关的概念
自发性地涌现新思路 为解决难题提供新线索
最终赞成正反方的票数差不多