近日，來自廣州的一位00後女孩洪樂潼在網絡平台引起了廣泛的關注和討論，據媒體報道，她創辦了ai科技公司axiom，意為公理，是構建數學理論的出發點。axiom將專註於數學領域。
記者了解到，洪樂潼在廣州出生長大，曾就讀於華南師範大學附屬中學，併入選2017年廣東省中學生英才計劃。
洪樂潼本科在麻省理工學院攻讀數學和物理雙學位，碩士就讀於牛津大學神經學專業，目前正在斯坦福大學攻讀數學博士。她是2022年中國羅德獎學金四位入選者之一，並曾獲得摩根獎，該獎是一年一度授予數學研究表現出色的美國、加拿大或墨西哥大學生的獎項。目前她的海外社交媒體賬號正在為初創公司axiom招聘。
記者在麻省理工學院的學校新聞網站看到，洪樂潼在mit學習的三年里已修讀超過20門研究生課程，擔任學校本科生數學協會主席。她曾與數學系教授帕維爾・埃廷戈夫（pavel etingof）和斯科特・謝菲爾德（scott sheffield）合作，參與閱讀課程和研究項目。
她通過兩項美國國家科學基金會本科生研究體驗計劃（nsf reu）開展研究，成果促成多篇論文在《美國數學會會刊》《拉馬努金期刊》及《數論研究》等同行評審期刊上發表或接受。此外，她還參與了布達佩斯數學學期項目（budapest semesters in mathematics）和高等研究院（ias）女性與數學項目。
洪樂潼曾被美國女性數學協會（association for women in mathematics）授予2022年愛麗絲・t・謝弗數學獎（alice t.schaefer mathematics prize）。她還獲得了mit大會新興領袖獎、mit數學系社群建設獎，並三次晉級美國數學奧林匹克競賽（usa mathematical olympiad）。她曾在美國數學協會數學節（mathfest）上發表論文，並榮獲「傑出論文獎」。
根據洪樂潼社交媒體的發帖，她長期關注ai領域：5月23日，她轉載了openai的視頻並評論，認為openai是過去三年最重要的事件之一，且看好「科技+藝術+資本」的組合；今年1月，她轉載了deepseek模型自主發展出高級推理技術的案例，描述了模型在解決數學問題時出現的「aha moment」，並表達了自己的困惑，希望獲得對該模型的理解體驗。這些關注方向與她創業公司的業務布局高度契合。
文｜記者 秦小傑
