AI# 馬斯克# 周三剛成立的xAI以9位數的報酬招得頂級人工智能研究人員
馬斯克聲稱剛成立幾天的xAI已經估值數百億美元，通過入股其新成立的人工智能公司來招募頂尖的人工智能人才也取得了巨大成功
馬斯克此前曾表示，他希望建立ChatGPT競争對手 "TruthGPT"；但他在xAI聘請的一些知名研究人員卻對另一件事感到興奮：建立一個能夠推理世界上最難數學問題的人工智能
在共同創立xAI之前，Christian Szegedy上司了谷歌的 "自動化數學家"研究項目，他的前同僚吳雨懷（Yuhuai "Tony" Wu）也加入了馬斯克的團隊，吳雨懷此前曾告訴媒體他希望利用機器學習來 "解決數學問題"，創造出一種能夠自行破譯定理的人工智能
另一位加入xAI的數學家格雷格-楊（Greg Yang）曾在推特上寫道"任何對此感到興奮的數學家/理論家都需要與我DM！"
幾十年來，計算機一直在幫助數學家識别模式，提高他們的工作效率；但羅格斯大學的數學教授亞曆克斯-康托洛維奇（Alex Kontorovich）說，人工智能還不具備解決進階定理所需的推理能力；部分原因是目前沒有足夠的資料可供人工智能數學模型訓練；計算機要處理一個定理，需要将其從自然語言翻譯成一種形式化的代碼，這種代碼在邏輯上是正确的；Kontorovich估計這種資料大約有1000萬行，而ChatGPT是在數萬億行人類語言的基礎上訓練出來的
對于xAI來說，競争壓力非常大；OpenAI的ChatGPT掀起了人工智能發展的浪潮，刺激了世界上最大的公司采取行動，并導緻用于訓練人工智能模型的Nvidia圖形處理器短缺
馬斯克似乎急于超越這些财大氣粗的競争對手，有消息稱馬斯克要求Nvidia向他出售4萬個用于訓練人工智能模型的GPU；Nvidia卻答應在12個月内隻能賣給他2萬個
根據xAI的網站，馬斯克的目标是創造能夠 "了解宇宙真實本質 "的人工智能；馬斯克的賭注是，科學無法解開的謎團諸如人類大腦的内部運作是人類無法了解的方程式
xAI也許可以通過建立自己的形式化數學資料庫來幫助解決這個問題
