https://www.bilibili.com/video/BV1T644e1EMN/

这是一个专门做数学相关知识的up主的试用结果,我的看法与他的观点类似


我并未深入了解这个新模型的背后原理,也没看到过相关论文,仅从视频出发,看起来模型并没有接入lean/coq一类的辅助证明工具,它无法稳定的输出一个正确的解答(至少在数学方面),我无法想象这是一个在某方面达到前沿甚至被要求有所创新的博士生的水平.


至于AGI,据我所知是一个连定义都尚未统一的概念,一群人这样急匆匆的宣布道路已经出线,给人的感觉更像是想吃流量造个大新闻罢了



【 在 lvsoft 的大作中提到: 】
: 乐观不乐观，反正现在就可以用，自己用下试试呗
: 事实上强化学习这条路已经是新的方向了。Claude的sonnet 3.5之所以能反超gpt4o，就是走的这条路。新的演化已经开始了
--
FROM 123.123.153.47

能到这个程度就压根不会发生这种讨论。就像10年前一堆人会吵火箭回收是不是炒作。你看现在有人会讨论这个话题么？


【 在 iMx 的大作中提到: 】
: 高考数学卷，可能是题库中有过类似的
: 能解十大数学难题这种网上没有答案的才算
:
--
FROM 117.136.8.*

你看，严格的说我上一篇回复也产生了幻觉，我把83记成了70多。
跟ai一样也是在胡说八道
【 在 lengxinyi 的大作中提到: 】
: 13 -> 83，而且还有很大潜力
:
--
修改:lvsoft FROM 117.136.8.*
FROM 117.136.8.*

我用的公司内部的

【 在 chglele @ [Python] 的大作中提到: 】
:
: 你们都是用的什么ai
: 【 在 cpper 的大作中提到: 】
: : 那你用人工写个抖音看看？
: :

#发自zSMTH@LNA-AL00
--
FROM 117.136.0.*

吓银啊！大失业狂潮即将来临？！
【 在 lvsoft 的大作中提到: 】
: 不是参数，现在用强化学习训练了。简单的说有点类似alphago早期和alphago zero的区别。前者基于人类知识和经验，后者完全抛弃人类知识，完全基于自己推理演绎。
:  
: 对于gpt来说，现在的gpt4o就是前者，基于记忆，联想，直觉训练和给出答案。就跟人下意识拍脑袋的回答一样，只有相关性，往往禁不起推敲。
:  
: 强化学习的版本叫gpt o1，不再基于相关性，而是基于推理，逻辑和因果性。现在已经可以用了，只不过配额很少一周只有30次对话。据说在编程，数学等需要强逻辑的领域，遥遥领先之前的版本。（大概百分之十几的正确率 vs 百分之七八十的正确率）
:  
:  
: 有人测试过把今年的高考数学卷丢进去，直接拿了满分。而且用的还是o1-mini。
:  
: 简单的说，通往AGI的道路现在已经没有任何障碍了。大家祈祷吧。
: :
发自「快看水母 于 22041216C」
--
FROM 42.84.234.*