: → 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在有確定性答案的問題已經不需要靠人類堆資料增強能力了，目前的強化學習開始是
模型自己出題目給自己解，且解出來的題目還可以反饋回預訓練階段，要突破應該不會太久
了