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也许可以通过创建自己的形式化数学数据库来帮助解决这个问题
