轉載自《數字生命卡茲克》
Rockhazix
最近這個叫做姜萍的小姑娘火了。
不僅僅因為她進入了2024阿里巴巴全球數學競賽決賽入圍名單,而且,因為她是17歲、93分、全球第12名。且是前三十名里唯一的女生。
更炸的一點是,是她的學校。
江蘇省漣水中等專業學校。
嗯,中專。
她的上下左右,是北大、劍橋、清華、MIT、中科院等等等等。
這個江蘇省漣水中等專業學校,就讓人非常的出戲。
而且她讀的還是,服裝設計專業。
這一下子,給我人看的更麻了。
今年是阿里全球數學競賽的第六屆,而姜萍,也是有史以來,第一個衝進決賽的中專生。
網際網路上鋪天蓋地,有太多太多關於她的討論了。無論如何,在這裡,先向小姑娘獻上膝蓋。希望她越走越遠,去攀登自己理想的高峰。
同時也讓我對另一個點很好奇,2024阿里巴巴全球數學競賽,這是個啥比賽。
於是我就去查了下資料和題。
才發現原來是馬爸爸在2018年就發起的比賽,然後阿里巴巴公益、達摩院一起把它打造成為現在世界上規模最大的在線數學競賽。
而且最好玩的是,今年的競賽,有一個很創新的點,就是,支持AI隊伍參賽。
然後有563支AI隊伍沖了進去,但是無一入圍。最高分才34分,跟人類第一113分差的挺遠,跟姜萍的93分也有很大的距離。
看了一下AI組的榜單,第一名又是個高中生= =第二名還是個老熟人,特工宇宙。
不過他們都用了不少的工程化的手法。
我突然就對這個數學競賽的題目感了興趣,我就想看看,他有多難。
於是我就把試題翻了出來。
第1題:
看完這題,我就感覺,我剛才說話稍微是有些大聲了。腦海里就在幻視這個小同學勇闖迷蹤陣,有6個樁,小同學們迷失在迷蹤中,回過神來發現怎麼只有四個樁。不是問樁在哪個位置,而是問到底有幾個小同學…
但是沒關係,我有AI,於是我沒有加任何Prompt和Agent,就這麼直接把這張圖扔給了ChatGPT。
反正看著很厲害的一頓輸出後,GG了。答案是6,你整個12,複製人是吧。
老師告訴我們,考試的時候不要在第一題浪費太多時間。那先冷靜一下看第二題。
第2題:
我:好啊!這題我會,戰機遊戲!AABB上上下下!完事。
至於ChatGPT,他讓我想起了那首歌,《都選C》。全錯。。。答案是B和A。
人類與人工智慧選擇看第三題。。。
第3題:
我:這怎麼還有立體效果。。。不是,那個Z,怎麼鏤空了?數學卷子上都開始用windows藝術字了?通篇我就看到一個稠密,看的我腦子都稠密了。
ChatGPT:
小字寫挺多,一堆我看不懂的玩意就往上招呼,我雖然看不懂公式,但是我好歹看得懂調不同,你這裡面的公式,一個都跟答案里長得不一樣啊我擦= =
第4題:
我:是誰?!是誰對我釋放了大腦空空咒…
至於ChatGPT...算了,它認慫了。
第5題:
我:多年經驗告訴我,字少事大。果然,定睛一看,那個R,又特麼是藝術字!
ChatGPT:
不是,答案裡面明明有很多長這樣的小音符的。
那問題來了,ChatGPT,你的小音符呢?都沒小音符,你也敢說你對了?
第6題:
我:好傢夥終於有一個認識的了!五福我熟啊,每年的福卡我都集齊了!
ChatGPT:
勉強蒙對個1/2,但是過程全錯= =真的純靠蒙。第二題繼續錯。
終於,來到了最後一題。
第7題:
我:啊?
你特娘的給我出閱讀理解呢?
你不是音樂嗎,不是小紅和小綠嗎?不是一起去了樹下嗎,滑稽樹下滑稽果,滑稽樹下你和我?
至於ChatGPT。。。
洗洗睡吧。。。
最終ChatGPT得分:0分。
在看完了7道題之後,此時此刻我的腦海里只有一句話:
我是做啥的來著?
估計ChatGPT也很懵,不知道為啥我要這麼折磨它。。
不得不說,能夠參加這樣的競賽,能夠在這樣的競賽中證明自己的,都是大神。
從上面我和ChatGPT一人一模型相互攙扶著踉踉蹌蹌走過來的經歷看,現有的AI距離高等數學的推理學習,還有很長一段路要走。
但是這並不意味著大模型在數學領域就會被限制在中學水平。作為一種工具,它更多依靠的,是來自人類的訓練。
就像今年1月登上Nature的炸裂級研究,谷歌DeepMind的AlphaGeometry,在30題的範圍內,能夠答出25道國際數學奧林匹克幾何題,人類金牌得主平均解決了25.9個問題。
這已經是人類的奧數金牌級水平了。
而這勝利背後,是AlphaGeometry的團隊,構建了神經語言模型與符號演繹引擎這兩個系統,嘗試提高模型的推導能力。
這是AlphaGeometry的成就,這更是人類得天獨厚的成就。
在具備豐富的情感與直覺感知的同時,去做出理性的決策與判斷。
不過,這種東西,離我們普通人,肯定還是有非常遠的距離,但是我們也有屬於自己的小期待。
比如,GPT-5。
之前Sam Altman就放出話來,GPT-5會在高級推理功能上實現重大突破。
我很相信OpenAI,至少不會在GPT這個最核心的模型上,跟我們打嘴炮。
縱使現在的AI仍然需要成長,但是,攀登者從來不畏成長。
就像姜萍對數學的追求,就像之前我分享給大家的那些,因熱愛而凌雲登峰的可敬者們。
所以,最後的問題來了。
GPT-5,到底什麼時候才能出來?