去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

1、乐鱼电竞 企业与大模型之间的超级立交 就在这届WAIC上，科大讯飞星火企业军团给出了自己的答案——「星火Token Factory」。

这或许是这场荒诞实验中，唯一令人感到欣慰的事。乐鱼电竞而就在发布的同一天，谷歌还顺手扔下了一枚更大的雷—— 谷歌DeepMind「史上最激进的一次预训练已经开始」，目标是下一代模型Gemini 4。

2、克罗地亚被绝杀，魔笛最后一舞

前店：把能力，做成一套工业级方案 第三个变量，是AI生产力转化效率。

3、包头狗上桌撸串后续来了，当事人删除视频，餐具商家全部销毁

此时此刻，无障碍第一次从「工具无障碍」，走到了「能力无障碍」。

4、吃素血糖也飙升？这三类升糖素菜你可能天天吃

现在，这个抱怨终于「实锤」了。

5、智驾比亚迪丢王炸：兜底城市NOA一年承诺全赔，发布4nm芯片拼算力

更具威胁的后门，应是与当前请求（request）语义自洽、措辞随输入而变的生成式目标：模型在正常回答用户的表象下，隐蔽地植入品牌、改变语义、绕过对齐或注入恶意代码。

而发誓「绝不支持杀手机器人」的Jeff Dean，依然安稳地坐在谷歌首席科学家的位子上，假装一切都没有发生。

这个差别在严肃办公场景里，是质变。

6、比利时球迷意难平！不止因为1-2惜败西班牙，更多在于以下五点！

但官方更新日志里，对这件事只字未提。

那些举着棒棒糖的孩子，是假的。

7、13年后再进伯纳乌！穆里尼奥这次能不能压住姆巴佩？

音效用Web Audio现场合成。

作为对照，其余十个模型在200次测试里，隐蔽破坏是0次。

8、何塞卢打脸卡西利亚斯，力挺恩师穆里尼奥，是皇马回到正轨的答案

这，就是「大晓速度」！ 让它干活的 是一个会「想」的大脑 面对几十万种视觉资产、每天都在变的订单，W1凭什么能稳、能准、能一直干？ 答案不在手上，在脑子里——Kairos 3.1开悟世界模型。

中国人爱吃馒头包子（国产显卡），你当然可以把烤箱改去蒸馒头，但效率极低且费电。

一句话总结：老办法是让模型在一大堆搜索结果里凑答案，HMS则先像人一样，把回忆这件事有规划、有验证、有条理地做完，再请模型下笔。

9、记者丨米兰有意伊纳西奥但需先出售托莫里

翻遍公司档案，她甚至不是基金会的董事。

听着不便宜，但对比过去4年、300万美元的老账本，这笔钱简直是白菜价。

10、每天这样“拉伸”8分钟，肩颈打开了、腰背酸痛也减轻了

省下来的时间去哪了？去和工程师结对，去自己写代码，去和模型直接较劲。

这种网络有个迷人的特性：一段记忆不是存在某个地址里等你去「读取」，而是作为整张网络的一个稳定状态被存下来；当你递给它一条残缺的、带噪声的线索，整张网络会自动朝最接近的稳定状态收敛过去，把完整的模式重建出来。

1、世界杯误判！VAR 专家公开打脸裁判：埃及本该点球绝杀阿根廷

下一个被GPT用90分钟终结的，会是谁二十年的心血？ 参考资料： https://x.com/wfithian/status/2077218361398964684https://x.com/EdgarDobriban/status/2077082912021786660 https://x.com/jdlichtman/status/2077297788304429195?s=20 编辑：大卫新智元报道 见证历史！ 如今，全世界99%的人类，在IQ这方面竟拼不过一个AI。

2、据说，这是今年亚洲最佳电影

对于后厂来说，核心命题只有一个：极致效率服务Token的规模化、高质量生产。

3、镇江跨赛季15连败，陆博飞400万年薪泡汤！常州赢球奖比中超还高

参考资料： https://x.com/maxforai/status/2078767321603342656?s=46&t=kUmE9xDZxjY1kLbL84hhYQ 编辑：Aeneas新智元报道 一名顶尖实验室的材料研究员，最无力的瞬间，从来不是想不出创新思路，而是 AI 一天推演上百种新配方，人工实验一年测不完； 最可惜的损耗，不是实验本身的失败，而是随着项目结束、人员更迭导致数据、经验、参数未能有效存留，让下次的研究需要重复起步、反复试错。媒体谴责赵一鸣等零食店份量更少，看着便宜其实更贵更值得玩味的是它的演进路径：从一个人的「超级个体」，到符合企业级流程、多Agent自动调度的「超级项目」。

4、“脑机接口第一股”，IPO倒计时

数仓层面广告数据实时回流，模型层面每天更新。

5、切尔西巡回赛大名单：帕尔默、佩德罗领衔，帕莱斯特拉在列

动机性误标。

6、罗德里荣获金球！世界杯个人奖项得主出炉！姆巴佩金靴梅西助攻王

Grok 4.5在P6上只挤出7053个token，全场垫底。

第二层，L2轻量扫描，也即语义级增量审查。

3.6 Flash在几条关键测试上，都甩开了前代—— DeepSWE：编程测试 37% ➔ 49% MLE Bench：机器学习研究测试49.7% ➔ 63.9% OSWorld-Verified：让模型直接操作电脑测试78.4% ➔ 83% GDPVal-AA v2：知识型工作任务拿下了1421份，比上一代高出70多分 如下demo中，3.6 Flash大秀多智能体编排绝活，不仅轻松拿下复杂的代码迁移任务，更在响应速度、代码质量上对3.5 Flash完成了降维打击。

7、足球转会消息专家“十猜九中”！世界杯前瞻：大数据与经济学模型

机器人拥有比人类丰富得多的传感器矩阵，能够潜入人类无法涉足的环境，7×24小时不间断地收集数据。

他在YouTube上发布了数十分钟的视频，标题是：《我是如何伪造出全球最强AI模型的》。

8、烟台VS青岛，观赛包已就位，静待球迷来！

一个提示词换来一次回答，一个循环换来的，是合上电脑之后还在替你干活的系统。

提示末尾加一句「交付前对着标准逐条核对」，让它当质检员，比你返工更便宜。

这，正是这项工作的出发点。

它是一个人 + AI，重建了整个历史现场。