搜索
不得了，这个名叫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是否会在5年内破解黎曼猜想？是否会保持每年5x的算力扩张节奏？十年后，AI将把我们带向一个什么样的世界？近日，Epoch AI负责人Jaime Sevilla，与数据与分析负责人Yafah Edelman在对话中，为我们揭示了未来十年AI发展的路线图。
图检索增强生成（GraphRAG）已成为大模型解决复杂领域知识问答的重要解决方案之一。然而，当前学界和开源界的方案都面临着三大关键痛点： 开销巨大：通过 LLM 构建图谱及社区，Token 消耗大，耗
有意识的AI，距离我们有多近？近日，图灵奖得主Bengio等人发表在《Science》的一篇文章提到：不管是碳基，还是硅基，都可能出现意识。AI研究，可能推动越来越多的公众相信AI会产生意识，但也可能带来一系列风险与社会伦理争议。
Lovart（lovart.ai/）速度是真的快，前几天发现他们第一时间就上线了 Seedream 4.0 模型，而且在前天开启了超级优惠活动： 9.10-9.20 Nano Banana 和 Seedream 4.0 模型免费用不扣积分
探测宇宙深处的时空涟漪引力波，AI也派上用场了。谷歌DeepMind、LIGO（激光干涉仪引力波探测器）团队和GSSI（格兰萨索科学研究所）合作开发的Deep Loop Shaping技术，将引力波探测的低频降噪能力拉到了新高度。
智能体（Agent）时代，工具已不再只是传统 API 或函数接口的简单封装，而是决定智能体能否高效完成任务的关键。 为了让智能体真正释放潜力，我们需要重新思考工具开发的方式。传统软件开发依赖确定性逻辑，而智能体是非确定性的，它们在相同输入下可能产生不同输出，这意味着为智能体设计工具需要新的范式。