【菲尔兹奖得主陶哲轩：AI几周前已突破数学形式化临界点，证明速度人类来不及审】全球顶级数学家陶哲轩近日在其主导的IEANTN项目（显式解析数论网络集成）中分享：AI生成形式化数学证明的速度已远超人类审核能力——几周前还需志愿者数周完成的形式化任务，AI数小时就能搞定。①陶哲轩将这种"生成长且正确的证明比生成短且正确的证明更容易"的现象称为"阻抗不匹配"；②AI已把这一矛盾推到极致，数学界正在被AI生成的证明淹没；③这是AI在高度专业化、纯粹理性领域超越人类速度的最新实证，预示AI在科学研究领域的系统性突破。AI的下一个边界，不是写代码，而是重写数学。详情：http://t.cn/AXSJQaDx
#辽宁档案寄存##AI数据管理##集镁科技集团##AIDP人工智能平台##数字化转型##智改数转#
集镁长期专注信息和资产管理领域，通过面向数据和人工智能时代的档案管理、AI数据管理、数智化转型、安全存储、信息销毁和生态创新等产品与服务，为多个行业和部门提供物理和数字资产管理解决方案。