新闻资讯8

陶哲轩：AI辅助解决数学难题成日常

宝玉AI2025-11-25

AI 摘要

陶哲轩解决 Erdős 第 367 号问题时，用 Google 的 Gemini 完成证明，后手动简化，又用 Aristotle 完成形式化验证。流程为人类提猜想、AI 证明、人类优化、AI 验证，数学家未被 AI 替代。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

前英伟达工程师：AI 终局是后台 Agent

前英伟达工程师、Sail Research 创始人 Neil Movva 认为当前 AI 行业陷“延迟陷阱”，AI 终局应是后台 Agent。他执行“算力拾荒者战略”，想降低智能成本，还指出 Transformer 架构有缺陷，互联网数据被吃光等问题。

比尔·盖茨在与《麻省理工科技评论》的采访中表示，AI在多方面已跨过临界点，但行业外缺乏讨论。他警告生物恐怖主义风险，提出‘人类保留岗位’、征税等政策设想，也看好AI在部分领域价值。

文章聚焦HarmonyOS穿戴应用，如「小卡健康」将健康记录入口移到手表，还介绍「开练」「凯格尔运动」应用。阐述了从接口到产品需解决权限、断连等问题，强调要为用户提供合适体验。

近日，AI初创公司Accelerated Understanding亮相，由Anima Anandkumar夫妇创立。它未随主流，目标是训练模拟物理现象的通用AI模型。该模型处理数据规模大，公司想解决AI验证瓶颈，产品面向科研工程机构。