7月13日·马斯克20亿送Grok 4上火星，AI助力宇宙探索

7月13日·周日  AI工具和资源推荐

马斯克20亿送Grok 4上火星，AI助力宇宙探索

xAI发布的Grok 4在发布72小时内爆红硅谷，其强大的性能让AI开发者惊叹。Grok 4能够在短时间内生成复杂的动画和部署游戏，甚至实现黑洞的交互式3D模拟。该模型使用了20万块GPU进行训练，具备了完全理解宇宙的基础。马斯克计划通过SpaceX向xAI投资20亿美元，未来甚至可能将Grok 4送上火星。这一举措不仅展示了AI在娱乐和科研领域的巨大潜力，也为未来的宇宙探索提供了新的技术手段。来源：微信公众号【新智元】

谷歌「AI爱迪生」打破18年数学纪录，开启科学革命

谷歌发布的AlphaEvolve在短短30天内攻克了18年未解的数学难题，令华人数学家陶哲轩感到惊讶。AlphaEvolve利用Gemini模型发现新算法，展示了AI在科学研究中的巨大潜力。它不仅在数学和计算机科学领域取得了突破，还可能引发一场不依赖“灵感”的科学革命。未来，科学家们将更多地依赖AI来解决复杂问题，推动科学的快速发展。来源：微信公众号【新智元】

北大与港中文发布Fast-in-Slow VLA，模拟大脑功能分化

北京大学与香港中文大学联合发布了Fast-in-Slow（FiS-VLA）模型，该模型通过模拟大脑功能分化，实现了“快行动”和“慢推理”的统一协作。FiS-VLA在多个仿真与真机平台上表现出色，控制频率高达117.7Hz，显著领先于现有方案。这一创新设计为机器人操控领域带来了新的突破，展示了AI在高频响应与复杂推理结合方面的巨大潜力。来源：微信公众号【机器之心】

AI编程工具实测效率下降，开发者直觉与现实背离

一项由非营利性AI调研机构METR进行的实验显示，AI编程工具并未提升开发者的效率，反而使其速度下降了19%。尽管开发者坚信AI工具可以提升20%的开发速度，但实际测试结果却与预期相反。这一反直觉的结果引发了广泛讨论，揭示了AI工具在实际应用中可能存在的局限性。未来，如何更好地结合AI工具与人类开发能力，将是提升编程效率的关键。来源：微信公众号【机器之心】

全球首个医疗代码生成大模型训练平台MedAgentGym发布

由埃默里大学、佐治亚理工学院、耶鲁大学和德克萨斯大学西南医学中心组成的团队发布了MedAgentGym，这是全球首个专注于医疗代码生成的大模型训练平台。该平台提供了全面的评估基准和完整的训练生态系统，能够显著提升大模型在医疗领域的代码生成和推理能力。经过MedAgentGym训练的Med-Copilot-7B模型在多项医疗编程任务上达到了与GPT-4o相当的性能水平，为医疗AI的发展提供了新的动力。来源：微信公众号【量子位】