ai

数学家陶哲轩将 AI 对数学的影响比作汽车冲击城市。他指出，AI 生成的证明虽快，但缺失了人类探索过程中锤炼能力、发现新方向等“附加价值”。他主张创建适配 AI 的新型数学基础设施，并提议建立“AI ...

还在用国外 AI？咱国产 AI App 早就卷起来了！功能好用、体验顺滑，你最喜欢哪一款？快来投出你的心头好！

OpenAI 宣布其全新推理模型自主推导出了一个原创数学证明，成功推翻了几何学中一道由保罗・埃尔德什于 1946 年提出的著名未解猜想。这标志着人工智能首次在数学核心领域内自主攻克重大难题，展现了梳理...

科技媒体 MacRumors 昨日（11 月 19 日）发布博文，报道称谷歌地图（Google Maps）为提供更智能、更便捷的出行规划服务，预告将推出 4 项由人工智能驱动的重大更新，提升用户出行体...

科技媒体 Gizmodo 昨日（12 月 4 日）发布博文，报道称在迈阿密巴塞尔艺术展（Art Basel Miami Beach）上，数字艺术家 Beeple 推出了一项极具讽刺意味的装置艺术作品。

路透社昨日（12 月 4 日）发布博文，报道称微软正式否认了有关“降低 AI 产品销售指标”的传闻，并驳斥了科技媒体《The Information》的相关报道。

OpenAI 昨日（5 月 15 日）发布公告，以预览版的形式，邀请美国部分 ChatGPT Pro 用户（月费 100 美元），体验个人理财功能。

科技媒体 TestingCatalog 昨日（5 月 26 日）发布博文，报道称 Anthropic 计划在 Claude 设置中加入个性化“AI Fluency”评分，用来衡量用户使用 AI 的熟练...

“龙虾” OpenClaw 创始人 Peter Steinberger 昨日（4 月 10 日）在 X 平台发布推文，称其 Claude 账户因“可疑活动”遭 Anthropic 暂停服务。

微软研究院 AI Frontiers 实验室最新发布 Fara1.5 系列模型，主要适用于浏览器场景下的计算机使用智能体，涵盖 4B、9B 和 27B 三个参数规模版本。