把张益唐坑苦的雅可比猜想,被Fable 5证伪了?
把张益唐坑苦的雅可比猜想,被Fable 5证伪了?今天上午,一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例,还顺手挖出了一段几乎像电影桥段的历史巧合(后面细说)
搜索
今天上午,一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例,还顺手挖出了一段几乎像电影桥段的历史巧合(后面细说)
刚刚,钛动科技在 WAIC 上发布了 Navos 2.0,把多智能体产品从网页对话框升级为智能体工作流架构。本月初,钛动还与 OpenAI 正式达成了合作并签约。创始人兼 CEO 李述昊给公司取了两个词拼成的名字——Tec-Do(用技术做生意),后面挂着版本号 2.0,含义是「像做产品一样做公司」(Develop Company as Product)——Tec-Do 2.0。
基于可验证奖励的强化学习(Reinforcement Learning with Verifiable Rewards,RLVR)正在成为大模型后训练的关键技术。数学题能判对错,代码能跑测试,可验证奖励让大模型可以通过强化学习持续提升推理能力。
作为国内深耕消费赛道落地最快的 Agent 原生团队之一,数宗 Digit Master 凭借自研 DM Agent OS,已携手雅诗兰黛、阳狮、博报堂、7-Eleven等全球头部快消品牌、广告集团完成规模化商业落地。团队在真实业务场景中,精准切中传统行业长期存在的核心痛点
“购买使用AI时,钱可能要付两遍!”
Reve 在 7 月 9 日把图像模型迭代到了 2.1 版。距离 2.0 发布刚好一个月,放在基础模型圈子这不算常见。前面只挡着一个 OpenAI 的 GPT Image 2。另外官方说:「训练这版模型用的算力不到排行榜前后邻居的十分之一」。
这个问题,在 AI 行业有一个专业的说法:无状态(Stateless)。而解决这个问题,正是 EverMind 过去一直在做的事情。今天,这个探索走到了一个新的节点:基于自研记忆系统 EverOS 的自进化Harness——Raven Agent 正式发布。
逸文科技(Even Realities)宣布完成Pre-B轮融资,融资金额1.5亿美元,投后估值超10亿美金,正式跻身独角兽行列。本轮融资由美团龙珠及美团战投领投,腾讯及其他老股东超额跟投。023年底才成立的逸文科技,用G1和G2两代产品打破了用户对智能眼镜不过是“科技玩具”的刻板印象。
ElevenLabs 已与投资者就让员工在二级市场出售股份进行早期洽谈,据知情人士称,这项要约将把这家人工智能初创公司的估值定在约 220 亿美元。两位知情人士补充说,这次要约收购可能会在二月一轮融资后将公司的估值翻一番,预计将在九月之前进行。知情人士表示,这些谈判仍处于早期阶段,且可能会发生变化;他们要求在讨论私人信息时不被点名。
同一周,ClickUp 裁员 22%,同时宣布开出 100 万美元年薪的薪酬区间,专门用来吸引「AI 原生」人才。Wix、Webflow、Meta 随后也做了类似的举动。原文:How to become the AI-native hire every company wants, @anitakirkovska,May 2026