: → ykes60513: 四色定理有用到电脑运算没错 但不算是A 1.169.245.252 01/01 14:06
: → ykes60513: I 1.169.245.252 01/01 14:06
: → ykes60513: 让AI来证明可以 但要给出人类看得懂的 1.169.245.252 01/01 14:07
: → ykes60513: 证明 不然中间的运算过程人类根本无法 1.169.245.252 01/01 14:08
: → ykes60513: 理解 1.169.245.252 01/01 14:08
大家都还停留在gpt-4o的免费模型吗？
推理模型o1-preview 去年9月出来就已经会把推理过程写出来了，隐藏掉的是中间思维搜索
猜想阶段性进展。前几天o3推出可以解FrontierMath 25%的问题，这是连数学家都要解好几
天的题目，且不熟悉题目领域的数学家还不知道怎解，
一般人连题目应该都看不懂
https://i.imgur.com/SSU9fch.png
现在AI在有确定性答案的问题已经不需要靠人类堆资料增强能力了，目前的强化学习开始是
模型自己出题目给自己解，且解出来的题目还可以反馈回预训练阶段，要突破应该不会太久
了