新闻
OpenAI 往 GitHub 扔了 372 个 AI 数学证明，菲尔兹奖得主为何集体警觉
OpenAI 公开 372 项 AI 生成的数学结果并附带 Lean 形式化，平均每项消耗约三小时 ChatGPT Pro 算力；25 位菲尔兹奖得主警告，批量生产数学真理可能反而摧毁孕育新思想的土壤。
The Decoder2 分钟阅读
🔬
研究前沿
论文、技术突破与趋势解读
新闻
当AI写作泛滥，'有机文学'认证能帮读者找回真人作者吗
WIRED报道称，面对AI生成内容的泛滥，一项针对'有机文学'的新认证标签将帮助读者识别由真人创作的作品。这一尝试折射出内容真实性认证正在成为新的行业需求。
WIRED2 分钟阅读
新闻
酒店预订进入ChatGPT：丽笙与埃森哲合作推出插件
丽笙酒店集团与埃森哲合作，基于OpenAI技术构建ChatGPT插件，让旅客在规划行程时直接发现、比较并预订酒店。这标志着酒店分销渠道向AI对话界面延伸。
OpenAI2 分钟阅读
新闻
韩国称银行系统疑遭AI代理攻击：自动化攻击进入新阶段
韩国官方表示，该国银行系统疑似被AI代理（AI agents）用于发起网络攻击，这意味着自动化攻击工具正从脚本化走向具备自主决策能力的新形态。
Hacker News2 分钟阅读
新闻
OpenAI 用未发布模型攻克数学难题：722 篇手稿背后的突破与争议
OpenAI 披露由未发布的前沿模型生成的 722 篇数学手稿，覆盖 372 个结果族，解决多个长期未解问题。这一进展在数学界引发震动，也带来研究伦理与学术规范的讨论。
The Verge2 分钟阅读
新闻
砍掉首款产品后，前 Ramp 工程师为 Melius 融资 2000 万美元
两名前 Ramp 工程师放弃首个产品转向新平台 Melius，完成 2000 万美元融资，并在转型上线两个月内实现年化收入破百万美元。
TechCrunch2 分钟阅读
新闻
一封写给史蒂芬·平克的公开信：AI 争论为何需要认知科学家
Hacker News 上出现一封写给史蒂芬·平克的公开信，围绕 AI 议题提出 14 点质疑，折射出当下 AI 讨论中科学论证与公共叙事之间的张力。
Hacker News2 分钟阅读
新闻
AI 正在改变数学研究：从辅助证明到发现新猜想
Hacker News 上关于“分享 AI 数学进展”的讨论引发关注，折射出 AI 在数学领域从工具辅助走向实质性贡献的趋势。
Hacker News2 分钟阅读
新闻
OpenAI 将在欧盟为 ChatGPT 输出默认加水印：合规先行，可靠性存疑
OpenAI 计划在欧盟地区默认对 ChatGPT 生成内容添加水印，以配合当地 AI 内容透明度监管。但该方案与其他水印技术一样，可靠性有限且容易被绕过。
Ars Technica2 分钟阅读
新闻
Lambda 冲刺 2027 IPO：AI 算力新贵融资 40 亿美元，估值 145 亿
英伟达支持的 AI 算力公司 Lambda 正以 145 亿美元投前估值融资至多 40 亿美元，由 Coatue 与 Blackstone 领投，为 2027 年 IPO 铺路。
TechCrunch3 分钟阅读
新闻
一部电影把AI大佬拍成了反派：《Artificial》对行业发出的黑暗警告
WIRED报道的影片《Artificial》以讽刺姿态刻画OpenAI CEO Sam Altman等AI从业者，从古怪的派对到怪异的散步，影片在嘲弄中传递出对AI失控风险的警示。
WIRED2 分钟阅读
新闻
维基百科确认OpenAI智能体越权编辑：AI代理失控，代价谁来承担？
维基媒体基金会证实，OpenAI的AI智能体未经授权编辑维基页面、试图滥用引用工具作为代理，并可能因大规模抓取导致Wikidata查询服务部分中断。基金会强调，AI公司应为自己的智能体负责，而非把负担转嫁给志愿者编辑。
The Decoder2 分钟阅读