跳到正文
热点事件持续更新

陶哲轩称数学进入证明过剩时代

1 篇报道1 个报道来源1 小时前更新

先了解这件事

AI 综述

Terence Tao认为,数学已从“证明稀缺”进入“证明过剩”时代,机器如今能够大规模破解过去被视为标志性的难题。随着解决旧问题本身的稀缺性和价值下降,人类工作的重心将转向提出好问题,并判断哪些结果真正重要。

AI 根据报道生成 · 54 分钟前更新

报道时间线

沿着报道,了解事件的不同侧面。

11月16日
  1. AGI Hunt
    Terence Tao:数学已从证明稀缺进入证明过剩时代

    Terence Tao 判断,数学已从证明稀缺进入证明过剩时代,机器可大规模破解旧日标志性难题。随着“解决问题”的价值发生恶性通胀,人类工作的意义正转向提出好问题并判断哪些结果重要。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。