當科技圈驚嘆于90后AI大神的成就時,00后力量已經強勢崛起。最近,全球數學圈出了個讓所有人都跌破眼鏡的新聞,美國弗吉尼亞大學終身教授,57歲的小野肯,公認的世界頂級數學家,放著鐵飯碗說扔就扔,突然宣布辭職。你以為他是要退休享清福?人家收拾好行李直奔硅谷,就為了給一個00后打工。
這個能讓數學泰斗甘愿“屈尊”的00后,不是什么名門之后,而是一位來自中國的潮汕姑娘,名叫洪樂潼。更牛的是,她在硅谷剛創辦了一家做AI數學的公司,成立才幾個月,連成熟產品都還沒上線,就輕松拿到了4個多億的融資,現在公司估值直接沖到21億。這波操作,簡直是平地起驚雷,把硅谷創投圈都震懵了。
說起洪樂潼的履歷,那真是典型的“老天爺追著喂飯吃”,她出生在廣州一個普通家庭,父母是從潮汕來廣州做服裝加工的,屬于最樸實的工薪階層。洪樂潼從小就展現出了對數學的超高天賦,屬于那種“別人還在糾結應用題,她已經在琢磨奧數難題”的天才。
![]()
12歲的時候,她就憑實力考上了廣州市奧校的免費集訓隊,相當于半只腳踩進了數學天才的圈子。高中讀華南師大附中的時候,直接入選廣東奧數省隊,在“華羅庚金杯”、全國高中數學聯賽這些頂級賽事里拿獎拿到手軟,17歲就靠著美國數學奧林匹克國際營唯一非美籍滿分選手的身份,被麻省理工提前錄取,這可是無數學霸擠破頭都進不去的頂尖學府。
進了MIT之后,洪樂潼更是開啟了“超速模式”。別人要四年才能讀完的本科,她只用三年就拿下了數學和物理雙學位,GPA滿分畢業。這還不夠,她還額外修了20門碩博級別的高階課程,本科期間就在《美國數學會會刊》這種頂級學術期刊上發表了9篇論文,涵蓋數論、組合數學這些超難的領域。
更厲害的是,她還成了史上首位同年包攬兩項北美數學本科生最高榮譽的亞洲女性,一邊拿了美國數學會頒發的摩根獎,一邊又斬獲了專門表彰頂尖本科女數學家的謝弗獎。這含金量有多高?相當于在數學界的本科生賽道里,站在了全球之巔。
![]()
本科畢業之后,她的求學路更是一路開掛。以全球僅四名中國獲獎者之一的身份,拿到了有“本科諾貝爾獎”之稱的羅德獎學金,去牛津大學讀了神經科學碩士,只用9個月就順利畢業。之后又去了斯坦福大學,直接開啟了數學和法學雙博士的求學之路。你以為她這是要把世界頂級院校都刷個遍?還真差不多,麻省理工、牛津、斯坦福,這三大名校的經歷,直接把她的學術履歷拉到了天花板級別。
但你可別覺得她是個只會讀書的書呆子,洪樂潼的心里藏著一團火,從來都知道自己想要什么。在斯坦福讀雙博士期間,她發現了一個讓她特別興奮的領域,AI和數學的結合。當所有人都以為她會沿著學術巔峰一路走下去,成為大學終身教授的時候,她突然做出了一個讓所有人都震驚的決定:退學創業!
她到底要做什么創業項目呢?簡單來說,就是打造一個“AI數學家”。洪樂潼之前試過市面上幾乎所有的AI大模型,發現這些模型在做數學題的時候,全是“套路活”。表面上看,有些模型做數學測試的準確率能達到96%,但你只要讓它展示推理過程,得分率直接驟降到5%。說白了,這些AI根本不是真正理解了數學邏輯,而是在靠海量數據進行模式匹配,遇到稍微復雜一點的推理題,就直接露餡了。
![]()
洪樂潼敏銳地發現了這個痛點:現有AI的核心缺陷就是缺乏真正的邏輯推理能力,而這正是她的專長。2024年,她在硅谷創辦了Axiom Math公司,目標很明確:打造一個能自己提出猜想、自己證明定理、還能解釋清楚推理過程的“超級智能推理機”,也就是真正的“AI數學家”。
創業這事兒,光有想法不行,還得有團隊。洪樂潼憑借自己的學術口碑和個人魅力,很快就組建了一支神仙團隊。CTO是前Meta AI的研究員舒博·森古普塔,這個人可不簡單,曾經領導團隊開發過OpenGo,還是最早的CUDA開發者之一;還有法國數學家弗朗索瓦·沙爾東,這些行業大牛,都是主動加入洪樂潼的團隊,可見大家對她的認可。
最讓人震驚的,是她的前導師,57歲的數學泰斗小野肯的加入,有人說,小野肯這是自降身價,放著終身教授不當,去給00后打工,但明眼人都看明白了,這是70后頂級人才對00后創業浪潮的主動擁抱。連小野肯自己都說,如果他的猜想能被機器在3天之內推廣到10個維度,他愿意當那個“標注工”。
![]()
創業第四個月,洪樂潼就帶領團隊攻克了兩道懸而未決的數學難題:加法數論里三十年沒人碰的埃爾德什第124題, AI在24小時內就完成了基礎公理層面的形式化證明,還是首份可機器復檢的完整答案;緊接著,那道懸置了四十五年的埃爾德什第481題,AI只用了五個小時就完成了完整證明。美國數學學會審核后,只留下了一句話:“邏輯無隙,隱性錯誤為零”。這波操作,直接讓整個數學圈和AI圈都沸騰了。
在AI的創業賽道上,洪樂潼不是唯一的年輕人,90后的王興興,創辦宇樹科技做足式機器人,從200元手工制作的機器人起步,現在公司估值突破百億,他們的四足機器人在全球市場占據了超過60%的份額,人形機器人更是做到了全球出貨量第一。和洪樂潼同齡的陳源培,創辦了靈初智能,專注于攻克機器人最難的“手”的問題,做出了能穩穩抓取水杯的靈巧手,連英偉達都來找他合作。還有耶魯博士楊豐瑜,回國創立了優理奇,專注具身智能,短短幾個月就造出了輪式人形機器人。而從貴州銅仁鄉村走出來的清華學生付智,更是看到了算力閑置的痛點,搭建了一個“算力滴滴”,把個人電腦的閑置算力匯聚起來,解決了中小企業的燃眉之急。
這些年輕人,一出手瞄準的就是世界級的難題,他們不再是為了簡單的“吃飯賺錢”,而是為了干成“那件特別酷的事”,為了“讓世界更美好”。
以前我們總說“長江后浪推前浪”,現在才發現,后浪的力量遠比我們想象的更強大。洪樂潼們正在用自己的方式,改寫各個行業的游戲規則,在AI這個新興領域,年齡從來都不是限制,只要你有真本事,敢闖敢拼,就能找到屬于自己的舞臺。
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.