今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

1、高比体育 而现在，「Record a Skill」跳过了翻译环节。

透明瓶子、塑料袋包装、反光饮料罐混在一起，对传统相机来说几乎是「隐形」的，但这台机器人看它们跟看积木似的，抓得又快又稳。高比体育三个模型往这四条轴上一摆，三张脸就出来了。

2、上海4冠外援弗格离队，多支球队有意签下；杜锋爱徒被山东队放弃

要知道，130这道门槛之前一直没被跨过去。

3、四次「决定」全撞期，詹姆斯非要跟世界杯抢流量？

张行程说，这不单纯是技术上的方法论，更是一种组织上的方法论——商汤自己的研发团队、芯片原厂、高校和科研机构，有的深度绑定、有的灵活协作，拧在一起才啃得动这块骨头。

4、日产官宣：我们“太爱V6，无法放弃 拒绝跟风小排量化

大脑系统 + 软硬一体 + 开放底座 逐际动力与其他机器人公司之间最大的壁垒，除了大脑系统，还在于与硬件联合优化。

5、比杨瀚森还惨！莫兰特加盟开拓者后，22岁天才探花恐面临无球可打

Claude Code的Artifact查看器：分享菜单可选版本与可见范围，页面本身是含漏斗图、指标卡的看板。

一个放得下办公桌的盒子，能跑70B到150B参数大模型的原生推理，能基于分布式架构实现多智能体（Multi-Agents）并行计算与智能调度，还能通过2×10G RDMA多机级联，攒出一个桌面集群。

Kimi K3：381分钟，四轮，满分。

6、宜家中国大抛售，“周末免费乐园”真要没了

更扎心的是，纸面上的算力≠有效的Token。

过去这4年，ChatGPT本质上是个「会话工具」。

7、山西男篮签约前火箭悍将！场均22分7助，弥补短板全力冲击八强

编辑：大卫 所罗门新智元报道 站会还没开始，故障已经快排查完了。

https://x.com/markgurman/status/2038701276699967554 那次短暂上线的实测结果可以用两个词概括：快，但糙。

8、扎心!姆巴佩:我宁愿不是世界杯历史最佳射手 而是明天能参加决赛

注意，从引入高危漏洞到完美修复，整个过程连上下文都没切，一次潜在的CVE危机，就这样在编码阶段被轻松掐灭。

懂你——记忆工程让「越用越懂」真的发生；懂事——38年积累的不是功能说明书，是「办公的常识」；懂交付——不是参谋，是真把活干完的人；懂闭环——从生成到接手，始终在一块屏幕上、用标准Office组件完成。

AI 赋能科研的终极价值，不是替代研究员思考，而是聚焦前沿核心创新，推动AI从标准化的算力工具，进阶为可探索未知、可持续迭代的科研协作伙伴。

9、菲律宾总统接见载誉回国的伊埃拉：我是你的忠实粉丝！

它让S1-Omni学到的，不只是科学数据的表面模式，更是「如何在具体任务中基于专家知识去推理」。

用户需要的是完整的智能，而非只具备手臂或者下肢局部能力的「瘸腿」智能。

10、为了这只包直接杀到了专柜！

诚邀麻省理工学院、斯坦福大学、卡耐基梅隆大学、牛津大学、剑桥大学、帝国理工学院、新加坡国立大学、南洋理工大学、苏黎世联邦理工学院、洛桑联邦理工学院、慕尼黑工业大学、卡尔斯鲁厄理工学院、达姆施塔特工业大学、亚琛工业大学、香港大学、香港理工大学、香港科技大学、香港中文大学等顶尖高校与海外创业团队火速集结。

一个人类数学家会怎么处理这道题？ 他会先试那个最自然的做法，检查一遍线性代数，发现不行，然后耸耸肩，心里想一句「本来也没指望能这么容易」，起身走人。

1、俄罗斯宣布退出，不再支持半岛无核化，朝鲜发展核武迎来利好消息

而PixVerse，正在铺就这条通往未来世界的铁轨。

2、砍31分11助！超级外援上演总决赛封神一战，抢断+三分绝杀太无解

人会耸耸肩走开 AI会接着试下一个 如果只有这一件事，它顶多算个漂亮的孤例。

3、四外卡选手曾在温布尔顿闯进四强，郑洁书写中国金花荣耀

算法瓶颈：现有的Transformer架构及其变体，可能正在接近其性能上限。哈登公开喊话招募詹姆斯：克利夫兰才是你最终的归宿！各有各的强项，也各有各的天花板： 领域专用模型（AlphaFold 3、ESM3）：在蛋白质等特定对象的预测任务上做到了极致，但能力也被严格局限在单一对象和任务形式上； 工具增强型通用模型（GPT-Rosalind、Claude Science）：凭借外部工具链灵活切入科学场景，但其科学能力仅寄生于工具，模型本体并未深化对科学的本质理解； 科学语言模型（NatureLM、LOGOS、BioMatrix）：试图将蛋白质、分子等转化为符号序列进行跨对象的统一联合建模，但目前的探索仍主要停留在表征层面。

4、赤影掠场，破局由你——Wilson威尔胜正式发布全新Defyer系列

/goal的机制，是你定义结果，它负责迭代。

5、美国打伊朗更有理由了？伊朗突袭约旦基地后，也没给以色列留面子

一开始，Codex Sol MAX也是不负众望，如果对它的要求水平是10分，它一直稳定地交出12分、13分，是一只「远超预期的怪物」，「每个人都对它满意到不行」。

6、国芯+国模之间缺一座“桥”，清程极智连续两年在WAIC架起国产算力跨越之路

明明会抓，就是抓不到没见过的箱子。

上百轮交互里，好结果到底是哪一步促成的？团队用非对称PPO：模型干活时只看真实环境信息，训练打分的 Critic 却能额外借用「上帝视角」—— 最终测试是否通过、补丁质量如何，让奖惩精确落到具体某一步，避免「一步错、满盘输」。

S0 只暴露一个统一接口，接收上游的全身运动目标，输出平衡协调的关节指令。

7、VAR频现判罚引波澜 张玉宁林良铭助国安晋级足协杯八强

这与多数具身团队从特定场景出发、由点及面地打磨专用技能的路径不同。

卡了半年的弦论难题，Claude一夜解开！ 网友惊呼：人类迈入全新的科学时代。

8、小伙每天3公里慢跑，坚持一个月有什么变化？

他表示，从目前的生态位来看，V4大概率打不过刚发布的Kimi K3，但价格会显著更低。

没有ΔR，所谓持续学习很容易退化成无目标的模型微调。

谷歌已确认，内部已启动了史上最激进的一次预训练，目标直指Gemini 4。

其中交付最终成品图的是全新的SenseNova U1 Pro。