當(dāng)科技圈驚嘆于90后AI大神的成就時(shí)，00后力量已經(jīng)強(qiáng)勢崛起。最近，全球數(shù)學(xué)圈出了個(gè)讓所有人都跌破眼鏡的新聞，美國弗吉尼亞大學(xué)終身教授，57歲的小野肯，公認(rèn)的世界頂級數(shù)學(xué)家，放著鐵飯碗說扔就扔，突然宣布辭職。你以為他是要退休享清福？人家收拾好行李直奔硅谷，就為了給一個(gè)00后打工。

這個(gè)能讓數(shù)學(xué)泰斗甘愿“屈尊”的00后，不是什么名門之后，而是一位來自中國的潮汕姑娘，名叫洪樂潼。更牛的是，她在硅谷剛創(chuàng)辦了一家做AI數(shù)學(xué)的公司，成立才幾個(gè)月，連成熟產(chǎn)品都還沒上線，就輕松拿到了4個(gè)多億的融資，現(xiàn)在公司估值直接沖到21億。這波操作，簡直是平地起驚雷，把硅谷創(chuàng)投圈都震懵了。

說起洪樂潼的履歷，那真是典型的“老天爺追著喂飯吃”，她出生在廣州一個(gè)普通家庭，父母是從潮汕來廣州做服裝加工的，屬于最樸實(shí)的工薪階層。洪樂潼從小就展現(xiàn)出了對數(shù)學(xué)的超高天賦，屬于那種“別人還在糾結(jié)應(yīng)用題，她已經(jīng)在琢磨奧數(shù)難題”的天才。

12歲的時(shí)候，她就憑實(shí)力考上了廣州市奧校的免費(fèi)集訓(xùn)隊(duì)，相當(dāng)于半只腳踩進(jìn)了數(shù)學(xué)天才的圈子。高中讀華南師大附中的時(shí)候，直接入選廣東奧數(shù)省隊(duì)，在“華羅庚金杯”、全國高中數(shù)學(xué)聯(lián)賽這些頂級賽事里拿獎(jiǎng)拿到手軟，17歲就靠著美國數(shù)學(xué)奧林匹克國際營唯一非美籍滿分選手的身份，被麻省理工提前錄取，這可是無數(shù)學(xué)霸擠破頭都進(jìn)不去的頂尖學(xué)府。

進(jìn)了MIT之后，洪樂潼更是開啟了“超速模式”。別人要四年才能讀完的本科，她只用三年就拿下了數(shù)學(xué)和物理雙學(xué)位，GPA滿分畢業(yè)。這還不夠，她還額外修了20門碩博級別的高階課程，本科期間就在《美國數(shù)學(xué)會會刊》這種頂級學(xué)術(shù)期刊上發(fā)表了9篇論文，涵蓋數(shù)論、組合數(shù)學(xué)這些超難的領(lǐng)域。

更厲害的是，她還成了史上首位同年包攬兩項(xiàng)北美數(shù)學(xué)本科生最高榮譽(yù)的亞洲女性，一邊拿了美國數(shù)學(xué)會頒發(fā)的摩根獎(jiǎng)，一邊又?jǐn)孬@了專門表彰頂尖本科女?dāng)?shù)學(xué)家的謝弗獎(jiǎng)。這含金量有多高？相當(dāng)于在數(shù)學(xué)界的本科生賽道里，站在了全球之巔。

本科畢業(yè)之后，她的求學(xué)路更是一路開掛。以全球僅四名中國獲獎(jiǎng)?wù)咧坏纳矸?，拿到了有“本科諾貝爾獎(jiǎng)”之稱的羅德獎(jiǎng)學(xué)金，去牛津大學(xué)讀了神經(jīng)科學(xué)碩士，只用9個(gè)月就順利畢業(yè)。之后又去了斯坦福大學(xué)，直接開啟了數(shù)學(xué)和法學(xué)雙博士的求學(xué)之路。你以為她這是要把世界頂級院校都刷個(gè)遍？還真差不多，麻省理工、牛津、斯坦福，這三大名校的經(jīng)歷，直接把她的學(xué)術(shù)履歷拉到了天花板級別。

但你可別覺得她是個(gè)只會讀書的書呆子，洪樂潼的心里藏著一團(tuán)火，從來都知道自己想要什么。在斯坦福讀雙博士期間，她發(fā)現(xiàn)了一個(gè)讓她特別興奮的領(lǐng)域，AI和數(shù)學(xué)的結(jié)合。當(dāng)所有人都以為她會沿著學(xué)術(shù)巔峰一路走下去，成為大學(xué)終身教授的時(shí)候，她突然做出了一個(gè)讓所有人都震驚的決定：退學(xué)創(chuàng)業(yè)！

她到底要做什么創(chuàng)業(yè)項(xiàng)目呢？簡單來說，就是打造一個(gè)“AI數(shù)學(xué)家”。洪樂潼之前試過市面上幾乎所有的AI大模型，發(fā)現(xiàn)這些模型在做數(shù)學(xué)題的時(shí)候，全是“套路活”。表面上看，有些模型做數(shù)學(xué)測試的準(zhǔn)確率能達(dá)到96%，但你只要讓它展示推理過程，得分率直接驟降到5%。說白了，這些AI根本不是真正理解了數(shù)學(xué)邏輯，而是在靠海量數(shù)據(jù)進(jìn)行模式匹配，遇到稍微復(fù)雜一點(diǎn)的推理題，就直接露餡了。

洪樂潼敏銳地發(fā)現(xiàn)了這個(gè)痛點(diǎn)：現(xiàn)有AI的核心缺陷就是缺乏真正的邏輯推理能力，而這正是她的專長。2024年，她在硅谷創(chuàng)辦了Axiom Math公司，目標(biāo)很明確：打造一個(gè)能自己提出猜想、自己證明定理、還能解釋清楚推理過程的“超級智能推理機(jī)”，也就是真正的“AI數(shù)學(xué)家”。

創(chuàng)業(yè)這事兒，光有想法不行，還得有團(tuán)隊(duì)。洪樂潼憑借自己的學(xué)術(shù)口碑和個(gè)人魅力，很快就組建了一支神仙團(tuán)隊(duì)。CTO是前Meta AI的研究員舒博·森古普塔，這個(gè)人可不簡單，曾經(jīng)領(lǐng)導(dǎo)團(tuán)隊(duì)開發(fā)過OpenGo，還是最早的CUDA開發(fā)者之一；還有法國數(shù)學(xué)家弗朗索瓦·沙爾東，這些行業(yè)大牛，都是主動(dòng)加入洪樂潼的團(tuán)隊(duì)，可見大家對她的認(rèn)可。

最讓人震驚的，是她的前導(dǎo)師，57歲的數(shù)學(xué)泰斗小野肯的加入，有人說，小野肯這是自降身價(jià)，放著終身教授不當(dāng)，去給00后打工，但明眼人都看明白了，這是70后頂級人才對00后創(chuàng)業(yè)浪潮的主動(dòng)擁抱。連小野肯自己都說，如果他的猜想能被機(jī)器在3天之內(nèi)推廣到10個(gè)維度，他愿意當(dāng)那個(gè)“標(biāo)注工”。

創(chuàng)業(yè)第四個(gè)月，洪樂潼就帶領(lǐng)團(tuán)隊(duì)攻克了兩道懸而未決的數(shù)學(xué)難題：加法數(shù)論里三十年沒人碰的埃爾德什第124題， AI在24小時(shí)內(nèi)就完成了基礎(chǔ)公理層面的形式化證明，還是首份可機(jī)器復(fù)檢的完整答案；緊接著，那道懸置了四十五年的埃爾德什第481題，AI只用了五個(gè)小時(shí)就完成了完整證明。美國數(shù)學(xué)學(xué)會審核后，只留下了一句話：“邏輯無隙，隱性錯(cuò)誤為零”。這波操作，直接讓整個(gè)數(shù)學(xué)圈和AI圈都沸騰了。

在AI的創(chuàng)業(yè)賽道上，洪樂潼不是唯一的年輕人，90后的王興興，創(chuàng)辦宇樹科技做足式機(jī)器人，從200元手工制作的機(jī)器人起步，現(xiàn)在公司估值突破百億，他們的四足機(jī)器人在全球市場占據(jù)了超過60%的份額，人形機(jī)器人更是做到了全球出貨量第一。和洪樂潼同齡的陳源培，創(chuàng)辦了靈初智能，專注于攻克機(jī)器人最難的“手”的問題，做出了能穩(wěn)穩(wěn)抓取水杯的靈巧手，連英偉達(dá)都來找他合作。還有耶魯博士楊豐瑜，回國創(chuàng)立了優(yōu)理奇，專注具身智能，短短幾個(gè)月就造出了輪式人形機(jī)器人。而從貴州銅仁鄉(xiāng)村走出來的清華學(xué)生付智，更是看到了算力閑置的痛點(diǎn)，搭建了一個(gè)“算力滴滴”，把個(gè)人電腦的閑置算力匯聚起來，解決了中小企業(yè)的燃眉之急。

這些年輕人，一出手瞄準(zhǔn)的就是世界級的難題，他們不再是為了簡單的“吃飯賺錢”，而是為了干成“那件特別酷的事”，為了“讓世界更美好”。

以前我們總說“長江后浪推前浪”，現(xiàn)在才發(fā)現(xiàn)，后浪的力量遠(yuǎn)比我們想象的更強(qiáng)大。洪樂潼們正在用自己的方式，改寫各個(gè)行業(yè)的游戲規(guī)則，在AI這個(gè)新興領(lǐng)域，年齡從來都不是限制，只要你有真本事，敢闖敢拼，就能找到屬于自己的舞臺。