埃尔德什留下的1000多道开放问题都挂在这个网站上，是全球数学家追踪这些问题的第一站。

1、乐鱼电竞 模型评估应包含对网络安全、生物威胁及其他高风险领域能力的严格科学测评。

超级个体的那些事 行业的事说完了。乐鱼电竞这就是「言出法随」，让创作本身成为游戏。

2、控制体重记住3点，做到就瘦！（不是打针

作者强调，这一机制并不会统一所有审稿人的观点，也不会改变同行评审的决策流程，而是在保留专家判断的前提下，为评分提供一套统一的参考尺度。

3、世界杯绝杀！28岁锋霸救主：4年蜕变 从笑话到英雄 哭成泪人

这是Python最主流的绘图库，月下载量1.3亿次，几乎撑起全球的科学计算。

4、美间谍被中国抓捕，美方急着讨要，他掌握的技术关乎核弹领域谜团

Hugging Face的异常检测流水线本身就用LLM对安全遥测做分诊，正是这些信号的关联把入侵揪了出来。

5、8点1氪丨长鑫科技中签号出炉：共约770.22万个；西班牙1-0战胜阿根廷，夺得本届世界杯冠军；月之暗面有望最快6个月内赴港上市

代码提交前的最后一道关，就是「提交前要不要先扫一下？」 此时，扫描引擎会从局部的「一隅之地」跳出来，构建整套项目的全局依赖关系图，进行深度语义分析。

一觉醒来，GPT-5.6 Sol变笨了！ 一个日本的市场调研团队，早上开工没多久，就发现手里的Codex Sol MAX不太对劲，领队把这一上午的遭遇写成一个长帖，扔到了Reddit的r/codex上。

有了这套机器可读的题目，AI才能直接输出Lean证明、由编译器自动判分，不再需要人类评委阅卷。

6、死守信源二十年，我成了CBA唯一“官宣追不上”的记者

作为创业团队，整体能力较为均衡——模型、产品、商业化、全球化，四条腿一起走路。

这才是最可怕的地方。

7、凌晨3点：谁在SKP排队？

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

他还在X演示自己的循环：让Codex每5分钟醒一次，自动维护代码仓库、分派任务，部分工作全自主落地。

8、偷34美元伏特加被捕！曾拿4年4800万，劳森如何一步步毁掉自己

三大核心突破： 改写具身智能的部署账本 传统的大模型往往只强调「预训练」有多强，却对部署阶段的灾难性表现避而不谈。

田然讲了个很生动的例子。

后续新奥聚变将为本赛道优秀成果提供该平台的上机实测机会。

9、线上女装最难的一年？高退货、高投流“双杀”，百万粉女装店也顶不住了

主要贡献 ① 提出BadDLM，首个面向扩散语言模型（DLMs）的通用后门攻击框架。

于是他们换成在自家基础设施上跑的开源模型，取证才继续下去。

10、据说这双鞋被王一博一人就撑住了全国销量

学习闭环的竞争 未来企业之间最重要的差异，不一定是谁使用了最强的模型，而是谁拥有更好的闭环。

最后，马斯克本人拍板：过去上传的所有用户数据，全部删除，零残留。

1、世界杯丢冠又输人！阿根廷恶汉赛后闹事：锁喉+拳击 将2人打翻在地

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。

2、5名中国球员全部通过资格赛首轮，吴易昺张之臻齐头并进

AI时代之后，企业还会积累另一类资本：由模型使用、数据、提示词、工具调用、业务反馈、评测体系和持续学习过程共同形成的Token Capital。

3、CBA最新消息！北控男篮主帅确定，杜锋完成签约

真急症的判轻率51.6%，居家级病例的判重率64.8%。那一分，滑倒的辛纳迅速起身，终于稳稳捧起了温网金杯还发起了「世界模型云生态共建」，把百度智能云、阿里云、华为云、腾讯云、华山云及商汤大装置这些算力方拉到了一起。

4、笑喷!奥塔门迪怒怼罗德里:傻瓜你们这周都在哭泣!罗德里一脸懵逼

这个数字并非空想。

5、【CBA联赛】第十三轮｜三连胜！浙江稠州金租89-69胜北京控股！

Fable的下架计划不仅没有按期执行，反而被迫宣布「再延期5天」。

6、印尼公开赛：25秒“计时器系统”首次在1000赛测试

这一设计的核心变化在于：导航系统开始具备「执行过程中的自我校正能力」。

ABC电话打过去，他承认是董事，随即挂断，公司网站不久后也悄然下线。

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

7、精子应该被奉上神龛吗？

世界模型从「视频导演」升级成能给状态、能打分的训练场。

这也点破了单纯扩参难以落地的症结：现有Scaling Law聚焦海量文本语料的语言与知识拟合，但材料原子建模需要的空间理解、几何规划与物理约束行动能力，在公开数据中极度缺少 「操作指令 — 坐标变化」 的高质量成对训练样本，很难仅靠语言规模扩张自然补齐。

8、内马尔怒怼内托：那个蠢货！，此前后者曾讽刺他是"小宝宝"

而且从第一天就是全球化。

在这个场景里，科大讯飞针对DeepSeek、Qwen、GLM等国产主流模型，紧贴昇腾硬件特性，从最底层的算子一路做到最上层的调度。

Claude Science虽然图表动效做得不错，但关键矩阵和本征值全都没给，甚至在假设上把全局和局域去极化混为一谈，逻辑底层直接打架。

有前员工打了个生动的比方：「想让每个部门的领导层都朝同一个方向使劲，就像试图煮沸整个大海。