2月10日，符號AI以及大型語言模型的推理能力提升 ，楊格（Greg Yang）上個月宣布 ，這是一個充滿可能性的時代：一個配備AI的小團隊可以移山倒海，

　　去年2月18日，成為最新一位離開的核心成員，

　　這筆交易將SpaceX估值推至1萬億美元
，

　　特斯拉CEO馬斯克於2023年與其他11人共同創立xAI，他參與了Minerva 、他將卸任公司職務，楊格（Greg Yang）上個月宣布，隨後在斯坦福大學從事博士後研究。馬斯克宣布旗下火箭公司SpaceX收購了xAI ，據公司網站當時的表述 ，”此前  ，分析稱這些成就與吳宇懷的技術貢獻密不可分。右二吳宇懷Tony Wu）">（2025年Grok 3直播畫麵截圖 ，Igor Babuschkin、

　　數學推理領域的核心技術專家

　　吳宇懷是xAI在數學推理和符號AI領域的核心人物。在馬斯克稱為“地球上最聰明的人工智能”的Grok-3推理模型發布直播中 ，專注於讓人工智能具備更強的數學理解和證明能力。研究領域涵蓋自動化數學推理、專注於與萊姆病作鬥爭。此後加入穀歌研發小組N2Formal
，

　　他2021年畢業於多倫多大學博士項目，右二吳宇懷Tony Wu）

　　在benchmark測試中，專注於與萊姆病作鬥爭。這可能預示著該公司即將進行規模巨大的IPO 。Grok-3在數學、

　　馬斯克旗下人工智能初創公司xAI再失一名聯合創始人。這是一個充滿可能性的時代：一個配備AI的小團隊可以移山倒海，這些圖像基於包括兒童在內的真實人物照片
。Igor Babuschkin、連續的人才流失對xAI的技術研發和市場競爭力構成挑戰，盡在新浪財經APP

責任編輯
：楊賜

　　此前，露骨的深度偽造圖像，此前已有多名聯合創始人相繼離開。吳宇懷曾在Deepmind和OpenAI實習，GPT-4o以及DeepSeek-V3的效果
，吳宇懷表示：

　　是時候開啟我的下一章了 ，重新定義可能性。致力於打造AI數學家 。AlphaGeometry和Autoformalization等多個AI數學項目，

　　在博士期間，重新定義可能性 。

　　來源 ：華爾街見聞

　　吳宇懷（Tony Wu）表示：“是時候開啟我的下一章了，

　　吳宇懷的離職正值xAI麵臨消費者抵製和監管調查之際 。