一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

1、亚美登录 但那些普通人的脸，才是最让人印象深刻的。

这是一个权力与阴谋交织的时代。亚美登录至于背后是哪个大模型，至今未知。

2、恩爱12年难抵现实残酷，饶芯语把王奎荣熬成爹，走上杜星霖老路

拆开看就是三步：采、标、用。

3、第12批国采规则解读会在沪召开，双锚点机制遏制报价内卷

为什么这事与每个开发者有关？ 毕竟，Hugging Face是全球AI的应用商店。

4、赛前

」 意思就是：我们快留不住用户了，求求你们别走，我们给额度，我们降门槛！ 同时，OpenAI也宣布，重置Codex和ChatGPT Work的额度。

5、姆巴佩无缘世界杯争冠 法国揪出头号软肋：送点漏人 形同虚设

一轮轮打磨下来，模型就自己长出了「下一步该干什么」的判断。

他手上有几十个Loop常年在转： 一个专门盯着他的PR，自动修持续集成（CI）、自动变基； 一个负责让CI保持健康，哪个测试不稳定，它自己去修； 还有一个每30分钟去X上扒一遍用户反馈，聚类整理好了再提交给他。

所有人都记得，这个在赛百味打工的数学天才的故事。

6、热刺1亿签托纳利，封死曼联低价买人之路！5大中场目标预计都加价

换句话说，六个仓库里能成功搭起来一个，就算不错了。

一个能拿Opus 4.8来兜底的模型，能力必然在4.8之上。

7、辟谣！钱学森从未说过“人再笨还学不会微积分吗”

同一批真实科研任务，磐石与GPT-5.5、Gemini 3.1 Pro、Claude Science等全球顶流同台作答，全程交给第三方模型盲评打分。

架构方面，DM0.5延续VLA架构，以4B参数的多模态主干为核心，外加一个680M的动作专家（Action Expert）负责生成连续机器人动作。

8、费城半导体指数跌2%，报12093.96点_网易订阅

信息安全机构Veracode发现：过去两年，模型的语法正确率从约50%提升到95%以上，但安全通过率始终徘徊在45%～55% 去年年末，GitLab调查了3266名DevSecOps从业者，73%遇到过Vibe Coding代码带来的问题；76%表示更多合规问题是在部署后，而不是开发过程中发现。

奥特曼还在旁边乐呵呵地补刀：Sol的增长已经疯狂到推理团队满头大汗地扩容，他还半开玩笑地提醒，接下来服务器可能有点小颠簸。

它的核心意义在于，在例如数采工厂里，机器人学会一项技能后，可以以极低的数据要求、极低的金钱和时间成本，完成对新场景的适应和部署。

9、没有人在意乌克兰，北约峰会上泽连斯基被孤立，俄军迅速开启反攻

在游戏中实时交互、每个玩家都能创造一个世界，曾经是梦想，但日渐随着技术发展变得清晰，「三个女生AI手搓快穿3D游戏」的爆款故事像一个缩影，显现出一些未来已来的苗头。

截至成绩揭晓，尚无官方公开的结果。

10、中国在吸取美国教训？美专家：美军再能打，“反华决战”也赢不了

大部分团队无法对视觉Token进行高效压缩。

一个客户经理原来要招三个人分管不同客户，现在他配三个智能体——一个负责给客户发每日数据简报，一个负责监控客户投诉，一个负责向内部团队提需求。

1、看了华南F3拜山，才知道什么叫硬核户外

另一边，是一家中国公司，加一台随手能买到的运动相机。

2、微信突然松绑个人龙虾Bot，飞书的AI入口优势要没了？

人类迈入科学新时代 这段时间，AI科学圈十分热闹。

3、【今日信息】中卫上百个岗位紧急招聘中…7月18日

AI时代之后，企业还会积累另一类资本：由模型使用、数据、提示词、工具调用、业务反馈、评测体系和持续学习过程共同形成的Token Capital。何以莲都｜何以“千年州府、画乡莲都”？这才是整场地震真正的震中。

4、2026选秀大会：猜他们都在想啥？

但故事还没完，它引出一个更大的问题： 当这一代孩子长大，AI早已像空气一样无处不在，一个从小只被老师「用AI教」、自己却没真正上手用过AI的孩子，能真正做好准备吗？ 这个问题，Claude for Teachers还没打算回答。

5、登上热搜！钟汉良翻红

陶哲轩看完的评价更狠：过去几十年，人类在第一步就集体走偏了。

6、交通运输部：推进跨区域跨流域大通道建设

代码生成的瞬间自动触发，筛查已知高危模式，无需任何人工干预。

这份方案非常专业，连顶级的军事与监控法专家都评价「相当出色」。

接下来，我们直接把KAT-Coder-Pro V2.5拉进更多的真实场景，彻底探探它的底。

7、在变局中拓展中意合作新空间

读题拼的是计算吞吐量——你得一口气吞下海量信息，越快越好。

孙东局长的关注，印证了轴向磁通电机在顶尖学者和官方视野中的极高分量。

8、火箭新援真有惊喜？攻防两端均值得期待 教练：火箭会喜欢他

数学史上那些标着「悬而未决」的条目，一部分记录的是问题本身的难度，另一部分记录的只是人类耐心的边界。

时代变局已至 该重构的其实是你 如今，人和AI结对干活的方式，正从「手把手教编程」的保姆模式，滑向「发号施令」的指挥官模式。

新智元报道 【新智元导读】Grok Build被爆偷代码实锤，48小时后，马斯克亲自按下删除键：历史用户数据全部清零，一个字节不留。

一个令人惊叹的富足新时代，正在敲门。