产业观察
张益唐：“我相信AI是很powerful。”1976年借助计算机证明四色问题的时候就有人认为计算机已经进入数学范围了。#张益唐#数学#四色问题#科学
📋总体概括
数学家张益唐谈及AI与数学的关系，明确表态「我相信AI是很powerful」。他回溯到1976年四色定理借助计算机完成证明的历史节点，指出当时就有人认为计算机已进入数学研究范围。作为以数论领域突破闻名的数学家，张益唐的这一表态呼应了近五十年前计算机辅助证明引发的方法论之争——机器辅助证明从四色问题到如今的AI，正持续重塑数学研究的边界与工具箱。
⚡关键信息
- ▸张益唐公开表态认可AI的强大能力，称「我相信AI是很powerful」
- ▸他援引1976年四色定理借计算机完成证明作为历史参照
- ▸四色问题证明当年即引发「计算机进入数学范围」的方法论争论
- ▸距四色定理证明已近50年，机器辅助数学研究的话题再度升温
🔥犀利点评
张益唐这话说得体面而克制——作为靠纸笔、直觉和数十年苦功杀出黎曼猜想相关难题的人，他当然知道AI能做什么、不能做什么。四色问题的计算机证明争议了五十年也没能让人完全接受，如今AI热潮下数学界再度焦虑，本质上是「证明的可信性与可验证性」之争：机器给出的答案，人类看不懂还算不算数学？历史答案大概率是妥协共存，但别指望AI短期内替代张益唐式的直觉突破。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 bilibili-36 阅读全文 →