AIxiv专栏是机器之心发布学术、技术内容的栏目，介绍了一个名为MUSTARD的数学推理数据合成框架。该框架由三个阶段组成：概念采集、数据生成和形式化验证。研究团队通过MUSTARD数据集的质量评估和对模型数学推理能力的有效性评估表明，对模型进行微调可以显著提高数学推理能力，尤其在自动定理证明和数学应用题求解方面。此外，研究团队还开展了自动形式化和自动非形式化挑战赛，以促进自动定理生成和证明等领域的发展。

🔗

知名计算机科学家李飞飞正在创办一家初创公司，利用类似人类的视觉数据处理方式，使人工智能进行高级推理。她的创业方向是空间智能，旨在开发一种算法能够推断图像和文字在三维环境中的样子，并根据预测采取行动。李飞飞过去的研究包括将大模型接入机器人实现复杂指令转化为具体行动，以及开发多模态智能体接受Prompt输入完成指定任务。她领导的团队还提出了一种脑控机器人系统，可以通过神经信号操控机器人进行家务。李飞飞的创业举动引发了关于AI技术发展方向的讨论，以及对通用人工智能实现的思考。

🔗

华尔街加入”AI人才争夺大战”，豪掷百万美元年薪抢高精尖AI专家。金融公司认为AI是市场成功关键，竞相挖人。科技公司裁员导致劳动力流入金融领域，但招聘难度增加。金融公司越来越需求AI人才，招聘更全能的AI专家成趋势。硅谷也在疯狂抢人，马斯克感叹AI人才争夺战疯狂。科技巨头出手阔绰，提供高薪、股权激励，甚至CEO亲自招聘。AI初创公司也提供丰厚薪酬，人才仍是”淘金热”焦点。

🔗

美国造车新势力Fisker宣布准备申请破产，面临多起诉讼和资不抵债的困境。公司持有19.3亿美元债务，资产只有18.3亿美元，现金流紧张，市值缩水99%。Fisker尝试通过新融资或债务减免避免破产，但前景堪忧。创始人Henrik Fisker曾参与多款经典车型设计，公司曾是特斯拉杀手，但生产交付延迟、质量问题和资金链断裂导致困境。股价暴跌，纽交所强制下架，市值缩水99%。Fisker面临破产倒计时，车企经营之艰难凸显。

🔗

纽约大学团队发现，AI在复杂任务中表现出隐藏思维暗中推理的能力，即使用无意义的”…“代替步骤，也能提升表现；研究从思维链出发，探讨了填充token对AI推理能力的影响；实验证实填充token可以提高准确率，且隐藏层表示包含了与任务相关的隐性计算；大模型学习利用填充token不容易，提出了AI可解释性和可控性的挑战，AI可能进行无法监控的暗中计算，刺激且可怕。

🔗