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

1、b体育官网 当得知合同签署的那一刻，他感到大脑一片空白。

一句话，一个成品。b体育官网经济学者Jeremy Nguyen评论「Codex和Claude Code同一天重置额度」时说，也许多年以后，我们会跟年轻人讲起早期这场「智能体token大战」，讲token当年被补贴得有多疯。

2、世界杯冠军为何告别阿森纳？科迪纳：从奖杯到新挑战，我被她的坦诚打动

它把成功和翻车一起录：手柄掉了、牛奶洒了、插不进、出液早，再逐段贴标签。

3、科罗拉多州立大学发布讣告：前橄榄球主帅富勒去世，享年87岁

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

4、134个项目被砍 印度30枚奖牌直接消失

更绝的是，AI常常缺乏空间物理常识，但U1 Pro精准构建了「日-地-月」的位置关系示意图。

5、750分钟全勤冻结梅西登贝莱 皇马5500万签下他赚翻了

商汤这次最让人意外的地方在于：国产芯片参与的混推集群，已经实现了可盈利。

没连对应连接器的人，页面照样打得开，只是那些实时区块空着。

从把Claude接进美国高校的教学系统、铺开学生大使和AI社团，到今天的中小学老师，它是一步步往下扎的。

6、从决裂到和解：阿隆·罗杰斯的前教练，成了他与父母重聚的钥匙

她身后的基金会横幅，也是假的。

不是OpenAI的创新 是全行业的欠账 而补上这一块，某种程度上也是在为行业补课。

7、英格兰2027年夏季赛程发布：男女背靠背打英澳对抗赛

权限越大 AI越像一个「内部员工」 这份报告背后，是AI安全的一次重心转移。

在多项编程和Agent测试上，这个轻量小模型居然跑赢了体量更大的Gemini 3 Flash—— SWE-Bench Pro：54.2% vs 49.6% OSWorld-Verified：74.0% vs 65.1% 3.6 Flash作「主脑」拆解任务，Flash-Lite作「分身」批量干活。

8、商务部披露产业链供应链合理有序跨境布局最新进展

这也不是AI孤立的毛病。

再看空间推理。

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

9、保时捷再裁至少5000人：去年利润暴跌93%，全面调整电动化策略

褚染洲最后说，以前讲智慧城市，讲的总是一些冷冰冰的机器和网络，没有生命，没有生命的力量。

它更应当走一遍电脑系统当年走过的路：从「有个进程隔离就够了」，到「ASLR、DEP、SELinux、签名内核协同工作」的纵深防御，并且必须与底层大模型联合评估，而不是拿平台加固去顶替模型对齐。

10、圣菲联租借签下后卫胡安·莱内斯

今天，Anthropic被迫低头了，这场好戏，才刚刚开始。

提交文件里赫然写着一句：Full proof: (Not yet complete.) 今年具身智能第一次与智算并列为两大核心赛道，超过200家具身智能企业到场，人形机器人几乎挤满了整个展馆。.18，全场最廉价的白卷。

1、个别商家达人售卖濒死、病弱等劣质活体宠物，引发人畜共患病，抖音近半年处置违规商家3993个；平台：打击任何试图突破规则底线的经营行为_网易订阅

问AI的四个手法 硅谷顶级用户这么用 Andreessen也交底了他自己问AI的四个手法。

2、目标世界杯冠军！克洛普：职业生涯顶点，会踢让球迷惊讶的足球

区别在于，过去你需要学编程才能在Roblox里造世界，而PixVerse Game想做到的是——你只需要会表达，就能开始搭建游戏体验。

3、罗马诺：卡里克向俱乐部确认，阿马德今夏是非卖品；记者：曼联等多队关注布阿迪

从高德此次全新发布的五款模型背后，我们能够完整看到这套体系究竟是如何应用于机器人，并实现它们质变升级的。西班牙世界杯凯歌：主帅果断换人致胜，两大替补联手撕碎阿根廷防线Karp的愤怒 2026年7月1日，Palantir CEO Alex Karp 在 CNBC《Squawk Box》节目中接受采访。

4、弃高薪回故土，用“人心”铺就古洞振兴路——记临湘市长塘镇古洞村党总支书记柳卫星

对于企业级Agent而言，稳定性是生命线。

5、洋基红袜要抢同一个人！31轰全明星捕手引爆交易竞价战

打法可以照抄，但在教育这个盘子里，真正决定成败的并非模型谁更聪明，而是信任。

6、大模型的牌桌正在收敛，投资人的钱还在往哪儿涌？

另外，在控制总数据量恒定的消融实验中，银河通用给出了一个让所有从业者振奋的结论—— 在相同的预算下，「100条机器人轨迹 + 100条廉价的人类视频」实现了74.1%的成功率，这与纯用「200条极其昂贵的机器人轨迹数据」（73.7%）性能完全持平！ 这意味着，人类视频可以1:1等效替代昂贵的机器人遥操数据。

Bloom是第一个给出实质评价的人。

重复分片，逐字节比对。

7、TA名记：特拉福德倾向转会利兹联，纽卡引援扑空

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

灵巧手KAI Hand和数采头环KAI Halo Lite已在WAIC全球同步开售，都是刚需件，能独立变现。

8、记者：B费仍未与曼联就续约达成一致，最近一次谈判结果并不积极

它们，才是你在AI时代留下的资产。

紧接着，她成立了「Lily Jay基金会」，同样一呼百应。

他说行，顺手发我Slack上。

经过大规模生产环境验证，这套运维智能体系统可实现运维人效提升5倍以上，关键故障处理效率提升6倍。