搜索
新智元报道 多模态大模型的物体幻觉，长期被归因于语言先验。 先看下面两组对话。 第一组，一张只有小狗的照片，问模型「图中有椅子吗」，它答「没有，图中是一只狗」，完全正确； 第二组，另一张照片，问「图中
谷歌最新数学推理模型Mathematica（基于未发布的DeepThink V3）因内部评测截图泄露而曝光，其在推导丢番图方程时展现出带有强烈情绪化表达的原始思维链，输出上限达65536 Tokens且采用Temperature=1的高温度推理模式，目前仍处于UNSTABLE_EXPERIMENTAL不稳定实验阶段。
文章作者为可计算离散整体几何结构实验室创始人、首席科学家、资深计算机图形学专家赵辉博士。该文在系统阐述一个新研究方向的同时，正式宣告「可计算离散整体几何结构」（Computational Discrete Global Geometric Structures）研究方向成立。
Anthropic的Claude在不到四周内优化了30多个开源生物分子模型，AItonomy Foundation同期发布开源项目ScienceIDE，将科学代码库转化为可执行可验证的AI科学家训练环境。
灵巧手从 demo 走向真实应用，关键不只是 “会不会动”，而是能否在 noisy depth、稀疏触觉、外力扰动和未见物体下稳定泛化。现有 in-hand manipulation 往往依赖固定物体、定初始位姿或理想传感器。而一旦遇到真实深度噪声、形状变化和接触状态不可见，这些策略就容易退化成近乎开环的 “手指套路”。
AI Simulation赛道持续升温，Simile估值达20亿美元、由00后创办的Aaru估值近10亿美元、MatrAIx构建83亿虚拟人格，企业通过让AI Agent模拟人类行为来测试产品和预测尚未发生的未来，但这门生意仍面临验证标准、预测精度和规模化等核心难题。
作者三文盐体验良配等AI Dating产品后指出，AI Dating已演变为衡水中学式做题相亲，AI军师与提效机制无法解决情感茫然与真实人际连接的本质。
把 On-Policy Distillation（在线策略蒸馏，OPD）的训练集从 17000 道题删到 1 道，会发生什么？
Shengtao Guo、Ethan X. Fang和Junwei Lu署名的预印本论文宣称利用Odin Automatic AI Research Agent证明了悬而未决40年的Komlós猜想并给出常数界3√(2π)，次日陶哲轩等25位菲尔兹奖得主发表联合声明《AI在数学中的严重失准》，警告AI证明速度已远超学界验证与消化的能力。
刚刚，OpenAI 发文投下一颗重磅新闻，称他们使用一种比 GPT-6 Astra 更强大的、未公开的下一代前沿大模型，联合约 10000 个并发协作的 AI Agent，仅耗时 88 个小时，便攻克了克雷数学研究所设立的七大千禧年难题之一 —— 纳维 - 斯托克斯方程（Navier-Stokes Equation）的存在性与光滑性问题。