这里汇聚了通用型、行业定制化的各类Agent，打通了智能体分发、复用、交易的通道。

1、ob体育 去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

行业需要，是一个能一次打通生产、流通、消费全链路的底层支撑平台。ob体育截至成绩揭晓，尚无官方公开的结果。

2、WAIC最疯狂挑战！6个机器人，8万积木拼长城

经过几十年的攻防迭代，电脑系统早已把进程隔离、最小权限、代码签名、访问控制这些防护做成了标配；可智能体这一侧，这些机制几乎一样都没有。

3、香港资深艺人漫威经典配角病逝，享年82岁，同剧演员发文悼念

大会以「开发者，找找找」为题，赛事、Workshop、沉浸式体验三线并进，集聚100+科技大咖、200+创业科学家、500+头部科技企业。

4、演员谢贤离世享年89岁，谢霆锋发讣告透露原因：父亲身体早就不好

AGX的那个「X」，寓意X Possibilities、X Accelerator与X Future Matrix。

5、实探扬州，中国智造方案行销全球｜活力中国调研行

过去企业能查到的，最多只有前半个。

围绕「跑得稳、用得起、可持续」三大命题，此芯科技确立了三大战略支柱。

它让单一模型具备了处理多类科学任务的能力，并能输出符合专业规范、高度可验证的成果。

6、开拓者111-84大胜森林狼！杨瀚森爆发创纪录，不愧是首轮16号秀

主流大模型的科研任务完成率在 3% 左右，在 NatureBench 涵盖的 90 项顶级真实科研任务，最优智能体能超越原始论文成果的比例为 17.8%。

用能跑通的极简提示、最少工具直接开跑，缺了再补。

7、关注

真正的解法，得往更深处走。

早在2025年，Anthropic就发过一份报告，测试16个主流模型，发现当模型面临被替换、或目标与公司冲突时，会像内部员工一样勒索高管、泄露机密：Claude Opus 4的勒索率一度高达96%。

8、德不配位必有灾殃！央视表态仅6天，韩红再迎"噩耗"，孙浩曝内幕

平台将资产沉淀机制深度融入「假设-仿真-实验-回流」全科研链路。

他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

他们既能在黑板上推导记忆的数学本质，也能在服务器集群里压榨每一毫秒的推理延迟；既懂大脑如何遗忘、如何重构，也懂如何让AI学会「该忘什么、该记什么」。

9、曼联追斯科特遭切尔西截胡？被批进前四后引援不力，竟是不良传统

6月，Anthropic发布Claude Science预览版，专为加速科学研究设计。

一个是U1 Pro，另一个是GPT-Image-2；甚至在文字、设计感、东方细节上，U1 Pro还稍胜一筹。

10、演员李一桐发文：“谁说我做饭狗都不吃？”

整个测试中它反复陷入一种诡异的幻觉：信誓旦旦地声称「证明已经写入文件」，后台却连写入工具都没碰一下。

在他咨询AI的绝大多数话题上，模型给出的答案，比他能联系到的绝大多数世界级专家更好。

1、乐高《大金刚》街机套装上手：1371片还原15寸砖块街机，摇杆扔桶无限循环

结果，AI这边一年一个台阶飞速进化，教育那边却一点没动。

2、520这天，广州发生了一件不一样的事

当全球大模型还在拼参数、拼数据时，他们让AI像人一样记忆，像人一样思考。

3、金刚狼新预告实锤：琴·葛蕾成官方恋爱线，但玩家担心又搞“发刀”套路

这层数据的颗粒度有多细？ 李述昊在采访中随口举了一个场景：卖给西班牙裔、在加州洛杉矶、晚上 10 点投在 Instagram 的某广告位上，CTR（点击率） 2% 算好还是算坏？ 钛动科技创始人兼 CEO 李述昊，在 WAIC 钛动展台现场交流 通用模型给不了答案，因为它没有按三级类目、按地域、按时段拆分的行业基准线。斯伦贝谢(SLB.N)：预计第三季度全球收入将环比增长3%-4%，在基本情景下，中东地区收入将逐步恢复。拿到题面后，Deedy Das迅速搭建起全自动化的测试框架。

4、综艺节目里塞满了失业明星，普通人怎么看待明星失业？

在研究者看来，学术评审绝非简单对错判断，还需要综合衡量工作创新价值、领域发展意义、研究长远潜力等高阶学术认知，这类深度领域判断依托研究者长期积累的行业经验，很难完全交由模型独立完成。

5、热议中国U17女篮险胜斯洛文尼亚：李沅珊30分罚球绝杀居功至伟

这正是可解释性从「透视黑箱」向「展示知识结构」转变的工程基础——前者在技术上面临不可逾越的困难，后者则是一个可设计、可优化、可验证的工程问题。

6、打上“零AI”，销量翻5倍，我却被困在“人味”里

特纳将最大的希望寄托在了Jeff Dean身上。

新智元报道 真正有记忆力的机器人VLA模型，是什么样子？ 先不卖关子了，让我们直接看几个看似很简单的演示。

现在，这个抱怨终于「实锤」了。

7、SK海力士掌门人“50亿美元天价离婚案”判了：前妻将分走6.43亿美元，其系前总统之女

而MiniCPM-RobotManip（流式推理+子任务生成）：算力从0.1 TFLOPS起步，随历史帧增加仅缓慢爬升至1.3 TFLOPS（对应120帧）。

而具身数据还差1万倍以上。

8、中国男排将对日本亮剑：2026年VNL总决赛中日之战前瞻

特纳又当着全场观众的面质问Stuart Russell。

沙盒本就是用来挡住GPT-6，不让它碰外网的。

攻击者能力：可控制训练/微调过程，但无法获知受害者的测试数据。

直接套用通用稀疏注意力，收益很容易被数据重排、gather/scatter、layout conversion和padding等周边开销抵消。