开源动态8

陶哲轩用AI 33分钟盲证数学

新智元2025-05-11

AI 摘要

陶哲轩：开源数学概念验证工具迭代至2.0版，支持渐近估计，上手简单。还借助AI 33分钟“盲做”数学证明，让AI接管繁琐推理，重塑研究范式。

关注公众号

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

公众号专辑

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

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

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

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

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