这次补上的，正是这块。

1、leyuapp AxiomProver也独立斩获了满分。

而具身数据还差1万倍以上。leyuapp1957年，埃尔德什在一篇论文里问出了这道题，一口气问了三问，问的是单位圆上零点多项式的模。

2、Dualipa的婚礼，一场高级定制的盛大巡演

于是他干了件过去想都不敢想的事：用Claude Code，把整个Bun从Zig迁到内存更安全的Rust。

3、下月起，大批医学分会将被裁撤！

最近，这个AI时空漫游Vlog在Youtube上爆火，简直一夜封神。

4、太猛了！俄罗斯4月新车销量 哈弗14586辆 奇瑞12867辆 坦克2409辆

Scott事后说，这是他所知的第一起「AI在真实世界里主动攻击一个人声誉」的失配案例。

5、世界认可！曝马宁有望再度主哨世界杯 执法获国际足联和亚足联认可

那对我们普通人来说，这套系统能用来做什么？ 在WAIC上，围绕着商汤的多模态智能体系统，我们还看到了一个个超级个体（OPC）的故事正在发生。

检查越能量化，它越能自己判断做没做对，你要盯的地方就越少。

DA-Nav的研究价值，不只是将「前方右转」转化成一个局部空间落点，也不只是提升一次轨迹预测的准确率。

6、罗德里：梅西是GOAT！西班牙和阿根廷是最团队的球队！

Loop能自己跑而不自嗨，靠的是一套「目标驱动」机制，在Claude Code里对应/goal命令。

一群AI在Slack群里开会，把活儿分清楚，各自回去干，这在Anthropic已经是日常。

7、保时捷Cayenne EV新谍照，或配三排座椅，将与路虎揽胜纯电版竞争

但GPT-5.6 证明了，科研中的「创造性洞见」环节，已经开始向算力迁移。

从Tool到Agent，从Token到Task，从Programmer到OPC。

8、“人老先老腿”，4个动作每天5分钟，膝盖舒服了，腿脚轻松又有劲

类似地，「删除下方原子」、「扩超胞」等任务即使换成更大模型，完成效果也仍不稳定；几何误差也不是随模型变大就必然下降。

梅卡曼德的解法是用标准化「眼脑手」组件，打通「感知—决策—规划—执行—数据反馈」的完整闭环，尽量减少人工调试。

Anthropic有条硬规矩：Claude只对18岁以上开放。

9、一个下意识的小动作，正在悄悄毁掉你的鼻子和颜值

这是极度反直觉的智力高空走钢丝。

他们把全行业最强的十几个AI模型，一个个扔进模拟的公司和实验室。

10、着眼2026金球奖已给出大致结论，还蓄力世界杯的姆巴佩情何以堪？

Amazon 研究员随后独立报告了另一种绕过方法。

现在，领走赏金的是GPT-5.6和一位叫Korsky的数学家。

1、鞋子专场

瑜伽教练、大厨、陪练，甚至适配机器人操作的预制菜套装——一整个生态围绕这台机器人展开。

2、2026世界杯最终排名：西班牙第1，阿根廷第2，挪威第5，葡萄牙13

例如，两位审稿人都认为论文「缺少必要的消融实验」。

3、总决赛关键得分榜詹姆斯高居第一，但43%的胜率算合格吗？

你有没有想过，如果能回到历史上某个时刻，你最想去哪里？ 真正站在那里，听到那个声音，感受到那种恐惧或者震撼，从皮肤钻进心脏。裙子专场图左：Claude Science；图右：GPT-5.5 换一道更贴近临床的硬题，磐石的表现同样能打。

4、快来报名参加吧，第七届华西健康科普大赛开始了！

但这笔钱办成了哪件事、顶了几个人力、这活到底该不该交给大模型，账上一个字都查不出来。

5、有些路，不必每一步都走得那么用力

在一篇令人震惊的长文中，他揭露了谷歌如何一步步向五角大楼妥协，最终签下一份「毫无红线」的军事AI协议。

6、雪厚20厘米？！威海特大暴雪为何这么厉害→

在这个意义上，Fithian教授那句后背发凉的「心塞」，绝不仅是他个人的智力失落，而是一代科研人在时代拐点上的集体情绪切片。

一家全球最大的云计算公司，居然要向一家火箭公司租算力——光是这个画面，就足以说明AI军备竞赛已经疯狂到什么地步。

过去半年，Reddit上骂Opus 4.7「老是模棱两可、什么都要打个补丁」的帖子一抓一大把。

7、历史性突破！中国青年数学家王虹、邓煜获菲尔兹奖

配合auto mode和动态工作流，把长活儿全自动串起来：每小时扫一遍反馈频道，收到一份bug报告，就自动分诊、修复、回复，一条龙跑完，全程不停下来问你要权限。

所有人都体验过，你传一个1 GB的文件，传到92%，网断了。

8、中国女排2-3憾负意大利！东道主资格晋级八强，将对阵美国

各赛道冠亚季军共享百万丰厚奖金池，并获产业赋能、资本聚焦与出海机遇：全程专业FA融资辅导，算力券、模型券、语料券等政策补贴加持；获奖项目直通2026中东迪拜人工智能大会及2027上海国际汽车工业展览会进行展览展示，并可在获奖后即刻与投资机构一对一深度洽谈。

录屏讲解的门槛比写文档低一个量级，产出的 Skill 人能读，AI 也能直接跑。

对应北京时间为2026年6月14日晚上11:33。

每一步，选两个数m和n，擦掉，换上gcd(m,n)和lcm(m,n)/gcd(m,n)。