莫宗坚给了张益唐一个「引理」——一个被认为是正确的数学命题，作为研究的基础。

1、亚搏手机 而清程极智不绑定任何一家厂商，它拥有异构复杂算力集群的统一调度和优化能力。

更关键的是——多位业内大佬、甚至知名科技公司的员工，都参与了讨论。亚搏手机无数数学家发表了大量声称证明了该猜想的论文，但无一例外，都被发现逻辑中有瑕疵。

2、2026世界杯四分之一决赛四位最佳球员全部出自西甲联赛

不久前，斯坦福CS153的讲台上，有人问OpenAI CEO奥特曼（Sam Altman）：你怎么看教育？ 他顿了顿：「我很担心。

3、官宣十二个地方联赛集体入驻，小红书世界杯后持续加码足球

再算上独立交卷的AxiomProver，整整四方势力全部登顶满分。

4、正式签约！东契奇继续引援，杨瀚森被挖墙脚！

晓途：一脑多形，7×24小时在岗 它依托通用智能大脑（Agentic AI），同一个脑子能适配多种形态的四足机器人本体，室内外无缝衔接、动静态避障、多机协同调度，全程无需人工干预。

5、一座“AI应用工厂”的野心：不赌技术，赌需求

AI提出一个引理：如果能给每一条边分配一个包含两个元素的集合 ，并且满足对于每一个顶点，任何一个元素要么出现0次，要么出现2次——那么，这个图就一定有「循环双覆盖」。

打个比方，你在做一个交易系统的账单导出功能，AI用Runtime.getRuntime().exec()调用系统命令，才生成一行代码，就被第一层标记出来了。

该研究 揭示了扩散式语言生成中一类全新的、且符合真实威胁的安全风险，呼吁社区共同关注新兴建模范式的安全问题，为DLM的去噪动态特性设计针对性的后门防御方法。

6、七年前的今天，那场令人难忘的网坛名局

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

最省事的地方，是你什么都不用先搭。

7、费德勒：澳网有信心夺冠 奥运男单金牌不是必需品

面壁的一个真机demo case演示令人印象深刻：一只宇树Go2机器狗紧紧跟随一名指定人员。

@Aria阿清在拍我AI V5上线阶段，利用首尾帧多帧功能，复刻了国内爆火的「衣柜换装」特效，发布当日阅读量就突破20w。

8、汉密尔顿：如果完美完赛前两战本能取胜，本周击败梅奔并不容易

在测试中，磐石展现了统治级的科研任务闭环能力。

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

上午9点，该团队照常开工。

9、世界杯之外，足球正在进入更多人的生活

支撑「用得起」的，是一个此芯自己敢喊的数字：国产唯一实现单Token能耗降低50%以上的SoC+NPU一体化方案。

一个 300B 参数的垂类模型打赢万亿参数的通用模型，靠的是数据壁垒而非算力堆叠。

10、“澳门8分钟”青年导演扶持计划入选短片项目官宣

效率变化是可量化的。

完整模型的纠正成功率高达98.15%；去除恢复数据后，这一指标骤降至15.46%，导航成功率也由59.00%下降至29.71%。

1、荣耀新Logo撞脸王者荣耀

X上网友的一句话，概括了所有人的体感： 所有人的推理档位被集体下调了一级——你原来跑Extra High，现在得把它拧到Max，才能换回原来那点力气。

2、1976年江青给姐姐5000元，事后又想要回，厨师劝说：这样影响不好_网易订阅

日语 —— 温暖+0.07σ，标志性行为是「先承接你的情绪，再说事」。

3、北京越野发布豪华品牌泰钽，首款车型预售价29.98万元起

肩、肘、腕、腰、腿五个维度协同发力，几乎就是真实对抗的全身运动。西班牙队遭到巨大打击价格也低到离谱，每百万Token输入看了一排排会跳舞、会跑马拉松的人形机器人，你回公司一问：能帮我装配零部件么？能帮我分拣试管吗？能帮我打包吗？能帮我巡检吗？——不能。.3美元、输出.5美元。

4、日本公开赛，国羽各单项均遇挑战

比如每30分钟查一遍错误日志，把严重级别的挑出来用大白话汇报；或者每小时扫一遍收件箱，摘要新邮件、把该回的草稿先拟好。

5、布云进四强，西西三盘胜鲁德遭逆转，卢宝演横扫，郑钦文输在哪

新智元报道 ChatGPT推出快满4年了。

6、Stephen A. Smith：库里当属历史前五，名人堂为他首开现役球员特展

那么，世界模型从Demo走向Deployment，真正的「断点」究竟在哪？ 陶大程一针见血地指出了核心分野—— Demo的标尺是「最好一次有多好」，Deployment的标尺是「最差一次有多差」。

真正让「一中心」配得上「自主式」三个字的，是它开始自己管自己。

Zero anything whatsoever will remain——一个字节不留。

7、NBA西部休赛期评级：快船获评最佳，爵士B+

基于此，模型就可以依据当前任务里的科学证据形成中间判断。

小象电动，这家从哈工大深圳研究院走出来的科技企业，历经8年蛰伏，终于将曾经只存在于论文里的轴向磁通电机，变成了15万台产能的自动化流水线，变成了机器人跃动的关节。

8、北京首钢队赛季结束，许利民合同到期，多名球员将离开

MiniCPM-V 4.6这款模型开源不到2个月，下载量即突破200w+，在多模态基础模型社区十分火爆。

在这条公开帖里，Jenny用几句话交代了自己这段时间的三件大事：生了个孩子，辞了份工作，换了家公司。

ARC Prize官方验证成绩。

硅谷给这群人起了个名字：AI吸血鬼（AI vampires），意思是人被AI变成了不睡觉的生物。