※ 引述《jackliao1990 (j)》之铭言：
: 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能迅速关联看似不相关的概念
: 自发性地涌现新思路 为解决难题提供新线索
: 最终赞成正反方的票数差不多
AI看来是要改变世界了
简单说 以后的科学家或是数学家还是物理学家
只要你的脑子想得出来
靠AI很快就能证明你的理论
那这科技进展还不是突飞猛进??
如果当初爱因斯坦有AI量子电脑
像钢铁人用的那个一样
你可以想像有多可怕
现在 ALL IN QQQ 是不是稳赢??