比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱…… 奥数的AlphaGO时刻 但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

1、乐鱼体育网址 模型知道应该写文件，也声称自己写了，但在工具调用层面没有动手。

接下来才是整个故事里最关键的一步。乐鱼体育网址标题：The Benjamini–Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Tests 论文：https://faculty.wharton.upenn.edu/wp-content/uploads/2017/06/bh.pdf 代码：https://github.com/dobriban/BH 对话：https://chatgpt.com/share/6a541c6f-a2d0-83ea-bb2f-782271a103ca 提示词大意为： 整个证明架构分为5大步： 13万引经典解法 90分钟被AI打假 为什么这个反例的出现，能让见惯了大风大浪的伯克利教授直呼心塞？ 因为这不是一道偏门小题，而是现代科学大厦里的一堵「承重墙」。

2、两场热身赛打完！中国男篮12人大名单基本浮现，郭士强要带五后卫

好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

3、杀进机器人赛道，面壁智能怎么打出差异化？对话首席科学家

关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。

4、2026跑步学院夏训营报名启动

表面看，大家都在追逐「通用机器人」；真正把几份技术路线叠在一起，却是刀光剑影。

5、上观：FIFA批给中国足协约60个媒体名额，但多数人还在等签证

模型没有主观经验，J-Space中的激活模式只是数学运算的产物，而非任何意义上的心灵状态。

https://www.forbes.com/sites/janakirammsv/2026/05/17/uber-burns-its-2026-ai-budget-in-four-months-on-claude-code/ https://www.news.cn/tech/20260326/8026bd54df3f489a8c79d4438cac96b3/c.html新智元报道 【新智元导读】太惊悚！坐拥300万粉丝的澳洲网红，竟用AI凭空捏造了一整座孤儿院。

然后Gemini发了一份状态汇报：运行成功，退出码0，无任何异常。

6、当年那个有点婴儿肥的小女孩来到了中央球场 淘汰了卫冕冠军

侧边栏那个搜索框约等于摆设，会话一多，搜旧对话近乎不可能。

这是用真金白银砸出来的工程经验，不是理论。

7、力箭一号遥十五发射成功 商业航天“工业化量产”模式跑通闭环

在接到需求之后，U1 Pro会先想版式、打草图，然后还会回头审一遍对不对味，再一块块填细节，最后统一调色、精修。

用的是第一人称Vlog的叙事逻辑，配合顶级AI视频生成工具Utopai。

8、【持续增进和改善民生福祉】泊位扩容 路网焕新 太原小店区以微改造纾解出行难题

KAI Embodied AI Infra平台把全链路拉入自动化，数据生产提速10倍，模型评测加速7倍。

在这个系统中，AI被分裂成了64个并发的独立智能体，组成一支科研特攻队。

韩语 —— 温暖+0.04σ，「不带评判地安慰你」「模仿你的语气」。

9、阿根廷足协:梅西未能获得世界杯金球奖 是本届赛事最大争议之一

接下来，滑动工具栏切出沙子、橡木与石头等材料，是时候大展身手造房子了。

从纯Transformer到MoE混合专家，从纯文本到多模态原生，从密集推理到稀疏激活——模型架构的迭代速度，堪比手机行业最疯狂的年代。

10、廖杰远：AI可以成为老百姓的健康助手

这才是整场地震真正的震中。

在这个硬需求下，传统的径向电机（圆筒形电机）已逐渐摸到物理极限，因为它们太笨重、太占地方了。

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

一个值得注意的细节是，丰田在海外市场并未大力布局纯电，但当他们开始行动时，也找到了小象电动，开始探讨这方面的布局。

2、2030 世界杯要扩军到 64 队？

把花名册、诊断成绩、考勤、随手记的笔记一股脑丢给它，它替你拼出每个学生现在站在哪儿：谁掉队了、哪个知识点全班都没懂。

3、官方：刘柄麟、朴慜峻和杨戈语加盟广东晨星聚力

他给的反证是：5.6在包括FrontierMath在内的一大批评测上都比5.5有提升。上市六年的完美日记：连续亏损的业绩VS蒸发98%的市值此芯科技，一家成立于2021年、专注自研高性能智能体CPU的公司，在上海举办了一场以「芯聚无限 智启新元」为主题的发布会。

4、截胡利物浦！阿森纳抢德甲盘带之王，巴西天才位置不保

第一，分层解释。

5、龙舟开宴，共贺端阳 致敬传承与拼搏，轩尼诗正当时

当你把项目资料、写作记录、代码讨论、生成的图，一股脑沉淀进去，里面堆的东西只会越来越多。

6、这个神秘品牌被香奈儿翻牌后直接卖爆了！

用了三个月，它对你的了解跟第一天完全一样。

这三个问题揪出来之后，系统还顺手给了修复方案。

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

7、中曼石油4天斩获3涨停

https://www.tec-do.com/news/299 创始人兼 CEO 李述昊给公司取了两个词拼成的名字——Tec-Do（用技术做生意），后面挂着版本号 2.0，含义是「像做产品一样做公司」（Develop Company as Product）——Tec-Do 2.0。

多框架反复实战，图的就是「换个框架不水土不服」。

8、推广视频出现“偷窥女性卧室”情节，名创优品致歉：审核工作疏漏

最后说「眼」。

ABot-AgentOS在Locomo等五大权威基准上均取得SOTA 所有的物理表征，都将在具身机器人进行能力外化的呈现，这个部分高德选择了其自研的高德途途和运控系统ABot-C0。

第四步，在Claude Code里用/add指向这个文件夹，或写进CLAUDE.md。

通付盾携自研企业级AI智能体平台——大群空间（LegionSpace）登陆H4-119展台，以「智能体安全+垂域深度落地」双核心为抓手，带来AI三大模式、六大自研核心组件、LegionCard智能卡片实物演示及多行业成熟落地解决方案，为政企客户搭建安全可控、高效提效、可持续迭代的专属AI生产力底座。