文浩Marvin的博客

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

📳CVPR 2024 Highlight | 基于单曝光压缩成像，不依赖生成模型也能从单张图像中重建三维场景📳CVPR 2024 Highlight | 基于单曝光压缩成像，不依赖生成模型也能从单张图像中重建三维场景本文介绍了一种基于单曝光压缩成像（SCI）系统和神经辐射场（NeRF）的三维场景拍摄与重建方法，实现了不依赖任何生成式模型的端到端单张图像重建3D场景。通过改进NeRF训练机制，利用SCI图像中的3D信息，成功还原了场景并渲染高质量图像。

📳马斯克刚回美国，旋风裁掉了这个部门特斯拉CEO马斯克裁撤超充团队，开除两名高管，转向AI领域，集中精力发展FSD；裁员举措引发合作伙伴担忧，特斯拉放缓充电站建设，影响整个行业；马斯克强调公司管理风格，倾向于精简高效小团队，愿意裁员以保持战斗力；马斯克明确特斯拉将专注于AI、机器人和Robotaxi领域，FSD能力增强，价格下调，预计8月8日上线Robotaxi。马斯克的管理方式强调精简高效，不满意管理层未精简的情况，要求团队精简，否则上下一并离职。🔗。