算法论文8

Michael Freedman：压缩是数学核心

机器之心2026-04-20

AI 摘要

菲尔兹奖得主Michael Freedman：数学本质是压缩，人类数学演进是压缩史，AI却在穷举。研究Mathlib发现命题展开后数字巨大，压缩是核心。还提出用指标识别核心定义，要与AI发展新数学直觉。

关注公众号

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

公众号专辑

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

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

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

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

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