就这样，广义上的雅可比猜想，被彻底证伪。

1、kaiyun官网 论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

科研日常充斥着高度具象化的实操指令：构建特定材料的 (001) 表面，模拟「真实世界」的边界；替换晶格特定位点原子给材料掺杂或改性；在指定间隙位置嵌入新原子，设计「储能」和「输运」通道等。kaiyun官网不过，也有人从这波狂飙里嗅出了别的味道。

2、榜单综述｜第17轮

话不多说，直接上演示。

3、“一寸光阴”究竟是多久？答案藏在4000年前→

成本账上，多元算力被统一纳管成一条生产线，不被单一芯片绑架；TokenOps让每一个Token可计量、可治理、可优化。

4、长期喝白开水和长期喝茶的人，谁更健康？

电送到了终端，用户该怎么用？ 清程极智打造了面向企业、开发者、各类Agent的一体化终端生态治理节点，补齐了Agent从下载部署到成本治理的最后一环。

5、安妮海瑟薇40岁后美出新高度， 开挂的关键原来是这个

Karp认为，当前大模型产业存在两个严重问题。

给它一句「把货架第二层左边那个蓝瓶子拿过来」，它得先弄清你要哪个瓶子，再用「眼睛」看清现场，然后把这句话拆成一串动作：移到架前、伸手、抓稳、退出、送到前台。

不设上限的循环，能把token成本烧穿。

6、甲状腺结节不可怕，长在危险的位置才可怕

而ChatGPT要接管的，是一片过去从没被专门打理过的地带：你和AI这几年共同生产出来的东西。

AtomWorld并非直接否定Scaling Law，而是提醒科学智能体重思 「该缩放什么」。

7、郭正亮曾言：黄岩岛是美国底线，若中国敢填海，美国将直接炸毁？

凭什么说「越用越懂你」 灵犀跟其他AI产品拉开差距最大的地方是它的记忆工程。

现在，这座大山被AI在不到一个小时内踏平了。

8、“这个风格”越来越火，比老钱风更高级，比高智风更气质

这几年，AI4S大致沿着三条路线推进。

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

他称这是「真实世界首例此类AI失配」。

9、知名手机品牌宣布退出中国市场，网友：我刚买的

J-Space能够告诉我们模型「在想什么」，却无法告诉我们模型为什么以这种方式思考，它所依据的「理由」是什么，这些理由在何种意义上是「好的」理由。

GPQA最开始只有39.4%，调整答案格式和评测设置后，直接飙到95.96% AIME因为答案都是数字，且题目已被大量公开，最终跑到了100% 最夸张的是HLE——他直接把测试答案拿去训练，最终得到99.44% 第二步，就是制造一家「真实存在」的实验室。

10、热火队帕特·莱利透露与勒布朗·詹姆斯经纪人的沟通情况：很不错

打开那个庞大的Hugging Face仓库，里面没有配置文件，没有分词器。

本质是因为，想在家庭场景完成作业，单一的手或者脚足够灵活，还远不足以支撑。

1、​加纳乔走到十字路口：罗马会是他的白月光吗？

温度零下四十度，没有任何生物能与她沟通。

2、无缘首胜！葡萄牙1-1爆大冷！诸神黄昏这事，可能只有C罗听进去了

难得的是，它极高的完成度：双战队设定，仪表盘计分、AI守门、动感音效，一应俱全。

3、第五代传祺GS4即将上市！预计不超12万，外观更动感，搭1.5T动力

2224个人，在那天早上起了床，吃了早饭，做了以后的计划。西宁南北山：一场持续37年的生态实践变强的从来不只是模型能力，更是能调用这种能力的人越来越多。

4、第44届“八一”军民长跑燃情开跑

实验结果显示，经过统一评分尺度校准后，论文排序与长期学术影响力之间具有更高的一致性。

5、“0糖0脂”是陷阱？网友慌了……

从商业角度看，这是一种极其不对称的交换。

6、虚假的繁荣，25岁捧起18个冠军，国家队31个月进球荒

特纳在文中痛心疾首地发问：「一个签过反自主武器誓言的人，眼睁睁看着公司把AI交给想造杀手机器人的军方，并放弃了所有限制权利，他怎么还能继续留在这里开发这个AI？」 被扒皮的AI伦理「泰斗」们 那些把「AI安全与伦理」挂在嘴边的学术泰斗们，他们的袖手旁观令人心寒。

围绕AI，既有巨大的兴奋，也有巨大的不确定——两者都有道理。

差距看起来不大，但这0.4%的提升来自六个精细的自进化模块，包括计数去重、相对日期锚定、精确日期回填、数值差异校准、当前与历史状态仲裁、双层来源锚定。

7、曝克洛普签约4年！率队出战世界杯，7人将被清洗，战术风格巨变

这不仅费时费力，还会累计误差。

」 参考资料： https://x.com/search?q=Jared%20Duker%20Lichtman&src=typed_query 编辑：大卫 Aeneas新智元报道 简直细思极恐！ 一个被寄予厚望的顶级模型，OpenAI连夜按下了「暂停键」。

8、别再囤了！营养师家都不用这十几种调味料！

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

有网友一针见血地评论：「谷歌需要削减其臃肿的官僚体系，才能在此领域取得进展。

建模型的时代过去了 「麻烦」才刚开始 和前两年相比，现在的模型可以说是多到数不清。

当一个工程师能同时跑七个Claude、几小时就把功能推上线，设计师还想用几个月的「发散—收敛」把人拦住，那是自寻死路。