雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

1、英亚电竞 资本的倒逼，让行业面临一个现实的分水岭：过去那个靠电机扭矩有多大、后空翻有多稳来证明「机器能动」的故事，已经讲到头了。

整体尺寸185mm，与人类手掌分毫不差。英亚电竞偏偏交付级最较真的文字和纹理，全藏在细节里。

2、欧阳修又字“子方”？恐怕是断章取义

面对这份由代码生成的完美证明，伯克利统计学家Will Fithian在推文中留下了令人回味的一笔。

3、短发女孩这样穿，真好看！

他们的Helix VLA模型，走的是快慢脑双系统架构，目标不是卖机器人，是卖劳动力。

4、2024年国人喜欢买什么车？第一季度中国最受欢迎的十大汽车品牌

当Dobriban与Fithian复核确认，并将配套代码（dobriban/BH）挂上 GitHub 时，一切都尘埃落定了：这不是大模型的幻觉，而是铁打的真理。

5、从红牌到漏判再到绝杀！诺坎普惨夜：巴萨0-2马竞，弗里克陷绝境

朱红、墨黑与鎏金的光影碰撞，把那种「盛唐赛博」的舞台炸裂感直接拉到了最高。

但这一认知过程，本质上依赖人类对三维空间的完整理解，而不是语言本身。

笑死，前几天OpenAI也出过一项政策：X上夸夸GPT-5.6 ，就送100美元 要知道，就在几天前，Anthropic还计划着要将Fable 5下架。

6、巴萨小将埃斯帕特：从拉玛西亚到欧青赛决赛，梦想照进现实

超节点的思路，是把一整柜、多张卡拧成一个高速互联的整体，用高密度、液冷与统一架构，把被通信瓶颈白白浪费掉的算力重新榨出来。

答题拼的是显存带宽——你得一个字一个字地往外挤，快不了但不能卡。

7、这种水果很甜，热量却很低，还是补水第一名

灵犀生成的PPTX、DOCX、XLSX，打开就能编辑、公式在、引用能追、格式完整。

她的社交账号晒的是商务舱、名车和昂贵首饰，一派环球飞行的富贵生活。

8、AI代理跑得飞快却没人管？三位安全高管的隔离方案能解开这死局

7月7日，Sam Altman现身太阳谷峰会。

好在缓存命中的价格依然极低，把批量任务、评测跑分、数据生成挪到高峰之外，成本还能压回去。

随着行业由样机验证走向量产与商业化，核心部件性能、系统协同能力及真实场景交付能力的重要性持续提升。

9、胜率高达64%却始终换不来一冠 哈登到底算不算真正的超级巨星

过去那种「AI一天，人间一年」的狂飙突进，要告一段落了。

GPT-5.6这次拿下136分，破的正是这套最难、最防作弊的离线题。

10、当凯恩体能耗尽无力回天，最不像英格兰球员的贝林厄姆拯救英格兰

正如Forbes点出的那个悖论：对齐这件事，本该发生在老师拿到材料之前，而不是之后。

保时捷、奔驰也在近期频频曝光相关专利，暗中布局。

1、金山与长宁携手合作推进低空经济产业链协同发展

那个抱着孩子的爱尔兰女人，她真实存在过。

2、拓竹要造300万台3D打印机，谁来买？

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

3、医生报警自救被医院处分！院领导：要顾大局，受点委屈怎么了？因没主动报警，2名医生被通报，1人被停诊半年！医生可以报警，可以终止诊疗

参考资料： https://openreview.net/forum?id=PEyouQzOLD 编辑：LRST新智元报道 今年WAIC开幕当天，上海世博展区挤满了各种机器人、大模型和智能体。穆里尼奥葡超27场不败！本菲卡3-0，反超葡萄牙体育，距榜首仅4分更绝的是，AI常常缺乏空间物理常识，但U1 Pro精准构建了「日-地-月」的位置关系示意图。

4、皇马新帅穆里尼奥正式开工！教练组成员背景不一般，赫迪拉在列

复杂的合同审查等Agent应用交给Agent增强模型，而战略规划、安全审计这类要紧事，强制调用最高规格模型。

5、10分钟从市集找回走失儿童，东城公安这套“联动寻人”机制亮了

本文主实验聚焦更贴近现实的指令微调（Instruction Fine-tuning）。

6、豫园德兴馆：百年本帮菜非遗技艺的“守正”与“出新”｜来来老城厢

重复分片，逐字节比对。

ChatGPT为啥突然需要搜索框？ 因为，它早就不只是聊天机器人了。

Beck自己当年也没算，而依他的判断，如果那个常数值得一提，Beck不会不算。

7、正式官宣！前国安主帅下课，5轮不胜被炒，去年率队夺足协杯冠军

这种现象的逻辑，其实都藏在资本的周期里。

时代变局已至 该重构的其实是你 如今，人和AI结对干活的方式，正从「手把手教编程」的保姆模式，滑向「发号施令」的指挥官模式。

8、克洛普出任德国男足国家队主教练

参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。

也就是说，那个从不涨价的「价格屠夫」，第一次给自己的算力装上了计价器。

但方向已经很清楚了：AI正在从「生成内容」，走向「生成软件」。

大厂必然有自己的战略考量，往往会深度绑定某一家或自己投资的国产算力芯片。