本届 IMO 上大放异彩的不只有这些人类选手，大模型也交出了一份满分答卷。它正是来自小红书的「dots-note-3.0」，并由此创下了一个历史记录 —— 中国选手与中国模型，首次在 IMO 顶峰相见。 在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括 ...
针对 AI Agent 带来的新型身份威胁， Akamai 在 2026 年 6 月正式发布了 Agentic Security Framework （智能体安全框架） 。该框架专为 AI 驱动的自主交互场景而设计，将身份验证、监测能力、信任机制和边缘安全整合到一个统一的实时决策层中。
Qwen 在中等难度的 Terminal-Bench、Toolathlon Verified上得分已经和 GPT 很接近，在 PaperBench、指令遵循和视觉上得分突出，在CoWorkBench上仅次于 Fable5，很明显 Qwen3.8-Max 这次着重强化了 Agent 能力。但是在工具调用、复杂代码等测试中 Claude 依旧保持领先。跑分的成绩似乎 ...
过去 TypeScript 一直依赖 JavaScript Runtime。写完代码，需要经过浏览器、Node.js 或 Electron 才能运行。但现在有人开始尝试：让 TypeScript 直接变成 Native。 过去 TypeScript 一直依赖 JavaScript Runtime。 写完代码，需要经过浏览器、Node.js 或 Electron 才能运行。 但现在有人开始 ...
突破往往不是靠解开一个极难的问题，而是靠提出正确的假设。 如今，AI不仅能给我带来从未想过的新猜想，还能自己编写数值检验。 就在刚刚，OpenAI官宣：全球活跃用户数已成功突破10亿大关！ 这是整个AI行业历史上第一个达成「10亿用户」成就的公司。
二十分钟后，客服群炸了。客户说没收到欢迎短信，销售说客户列表里搜不到人。小李自己刷新了一下后台，更诡异——数据又慢慢变多了，从 800 涨到 1600，再涨到 2400，像挤牙膏。
7 月 30 日，一名攻击者在 41 分钟内清空了 1,196 个比特币地址，盗走 1,082.65 BTC，按当时价格计算价值约 7020 万美元。Galaxy Research 对此次扫荡进行了链上测绘，并将其与加拿大公司 Coinkite 旗下比特币专用硬件钱包 Coldcard 的一个固件漏洞关联起来。
近日，来自香港科技大学 World Mind Lab、麻省理工学院 Media Lab 与 EECS、哈佛大学 Kempner Institute 的研究团队提出 Stream3D，试图打通这两条路线。 如何从一段视频中获得完整、稳定的 3D 物体？过去，这个问题大致沿着两条路线发展。 一条是 3D 重建：把不同视角中真实观察到的几何逐步拼接起来。它擅长忠实恢复「已经看见」的部分，但在输入视角有限 ...
有意思的是，几个月前奥特曼说过几乎一样的话：「一旦你见识过AGI，你就再也忘不掉了」，那种「非要成为控制AGI的那个人」的念头最危险，唯一的出路是「不让任何人独占这枚魔戒」。
2026年，亚马逊、Alphabet、Meta、微软和甲骨文五家公司的资本开支预计合计约7500亿美元，相当于它们全年总收入的38%。 根据Google DeepMind联合创始人兼CEO Demis Hassabis判断，AI带来的技术变革，不仅可能会达到工业革命的10倍，而且推进速度也会快10倍。
18 小时
哈佛华人教授尹希，首谈GPT-5.6
深度体验GPT-5.6后，尹希直言，「我感觉，AI正抹平物理学各个子领域之间的边界」。 哈佛最年轻华人正教授，入职OpenAI后首次出镜！ 深度体验GPT-5.6后，尹希直言，「我感觉，AI正抹平物理学各个子领域之间的边界」。 视频中，他的一番话，深刻道出了AI时代的科研新高度—— 突破往往不是靠解开一个极难的问题，而是靠提出正确的假设。 如今，AI不仅能给我带来从未想过的新猜想，还能自己编写数值 ...
从 JDK 27 开始，HotSpot 在没有显式指定垃圾收集器时，将在所有环境中默认选择 G1。过去可能因为单 CPU 或较小内存而自动使用 Serial GC 的应用，升级后可能得到不同的垃圾收集行为。 很多 Java 团队对升级 JDK 有一个非常自然的理解： 只要没有使用新的语法，业务 ...
一些您可能无法访问的结果已被隐去。
显示无法访问的结果