Mistral 的开源 Leanstral 1.5 取得了正式的数学基准测试并捕获了代码中的真正错误
Mistral AI 于 2026 年 7 月 4 日发布了开源模型 Leanstral 1.5，专为 Lean 4 编程语言中的形式化验证而设计。该模型不仅在数学基准测试中达到或接近满分，还在真实代码库中捕获了五个此前未知的软件漏洞。
标签： 训练
眸深智能创始人穆泽林：对世界模型的感知是机器人完成动作的约束条件
在2026亚布力论坛创新年会上，眸深智能创始人穆泽林提出，机器人实现精准动作的关键在于对世界模型的感知，而非单一依赖视觉、触觉或力觉。这一观点挑战了行业内“传感器之争”的认知，将机器人动作控制从“单模态输入”拉回“以动作为最终约束”的完整逻辑。
看看中国的量化基金狂热，随着人工智能的快速采用，管理的资产在不到一年的时间里增加了一倍多，达到约 $384B (彭博社)
据彭博社报道，中国量化基金行业在不到一年内，管理的资产规模翻了一倍多，达到约 3840 亿美元。背后主要推手是人工智能技术的快速采用，AI 正在重塑金融交易和投资策略的底层逻辑。
阿姆斯特丹发明了消防队
历史学家 David Garrioch 在 Works in Progress 上发表文章指出，17 世纪的阿姆斯特丹并非靠运气避免了大火，而是通过系统性创新——装备水泵引擎、建立专业化消防队伍——率先构建了现代城市消防体系的雏形。这段历史提供了一则关于“如何通过组织创新和公共基础设施投资来解决复杂系统风险”…
1926 年的美国：一份被遗忘的 100 年前的报告讲述了我们是谁
作者 Derek Thompson 通过梳理一份 1926 年美国社会深度报告——《Recent Social Trends》，发现 100 年前美国社会的焦虑——技术失业、移民收紧、财富分化、信息爆炸——与 2026 年的今天惊人地相似。这提醒我们，许多当下的恐慌并非新事物，而是人类面对技术和社会变革时的历…
面壁智能发布AI全自动预训练框架ForgeTrain，8小时追平Megatron-LM
面壁智能在2026年6月27日晚发布了全球首个完全由AI编写、无人类干预的生产级大模型预训练框架ForgeTrain。该框架在8小时内追平业界旗舰框架Megatron-LM的性能，并在1.5至2天内实现8%~10%的模型算力利用率（MFU）提升，标志着AI在自我迭代Infra（基础设施）方向迈出了从辅助研发到…
让机器人学会番茄炒蛋的“幕后推手”：Genesis AI 开源全栈训练场
曾靠“机器人炒番茄蛋”视频走红的 Genesis AI，近日正式开源了其全栈仿真平台 Genesis World 1.0。该平台能将原本需要200小时的机器人模型测试压缩至0.5小时，且评测结果与真实硬件的吻合度达89%，有望大幅降低物理AI开发的验证成本。
长鑫科技靠 AI 翻身了？
长鑫科技传出IPO消息，当前已成为全球DRAM行业第四大厂商，仅次于三星、SK海力士和美光，也是前四大中唯一的中国玩家。AI对高性能存储的需求，正成为这家公司突围的关键变量。
《Fable》通关指南：短绳AI编程法
一名安全关键系统开发者基于一年多的AI代理研究，提出“短绳法”（Short Leash Method），主张开发者必须在编程过程中全程监督AI的每一次代码修改，以此对抗当前“甩手掌柜式”的AI编程趋势。该方法宣称即使用非前沿模型也能产出高质量代码，但其前提是使用者必须是专业软件开发者，而不是走马观花的AI爱好…
打破行业融资速度记录，具身黑马踩中物理 AI 狂热
成立仅两年的千寻智能在不到4个月内完成45亿元融资，成为具身智能赛道最吸金的公司之一。但其核心模型Spirit v1.6在登顶权威榜单后被指“评测数据不足”而除名，核心技术负责人也被曝离职，暴露出这一赛道融资狂热与技术落地之间的巨大张力。