不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。
一句语音指令，复杂操作自动完成。安卓正迎来一场由AI语音快捷指令主导的交互革命，Shortcuts for Android (SFA) 不仅填补了与iOS快捷指令的差距，更正在重新定义人们与移动设备的互动方式。
前几天的 苹果发布会，算是近年来最名副其实的「科技春晚」了，尤其是 iPhone 17 和 iPhone Air 相当令人期待——当然了，没有 AI。 即使不强调 AI 卖点，这次的新品依然获得了显著
本周五，Meta AI 团队正式发布了 MobileLLM-R1。 这是 MobileLLM 的全新高效推理模型系列，包含两类模型：基础模型 MobileLLM-R1-140M-base、MobileLLM-R1-360M-base、MobileLLM-R1-950M-base 和它们相应的最终模型版。
医生确诊主动脉夹层要花四个多小时，而AI却只用了1.7小时。现在，GPT-5则更厉害——不只是更快，还能像医生那样推理。它会把零散的病历、化验和影像梳理一遍，生成一条完整的诊断链，从而得出准确的判断。
AI是否会在5年内破解黎曼猜想？是否会保持每年5x的算力扩张节奏？十年后，AI将把我们带向一个什么样的世界？近日，Epoch AI负责人Jaime Sevilla，与数据与分析负责人Yafah Edelman在对话中，为我们揭示了未来十年AI发展的路线图。
有意识的AI，距离我们有多近？近日，图灵奖得主Bengio等人发表在《Science》的一篇文章提到：不管是碳基，还是硅基，都可能出现意识。AI研究，可能推动越来越多的公众相信AI会产生意识，但也可能带来一系列风险与社会伦理争议。
成立107年的松下，如何赶上AI大模型的浪潮？ 在日本东京接受媒体采访时，松下控股株式会社全球副总裁、集团中国东
探测宇宙深处的时空涟漪引力波，AI也派上用场了。谷歌DeepMind、LIGO（激光干涉仪引力波探测器）团队和GSSI（格兰萨索科学研究所）合作开发的Deep Loop Shaping技术，将引力波探测的低频降噪能力拉到了新高度。
打开一个看似由哈佛、全球 AI 安全研究机构背书的网站，你会以为自己进入了一个拯救人类的严肃计划。 结果……你在这个页面上多停留了十几秒，页面背景悄悄浮现出一个单词：「bullsh*t」。 仔细看动图
