AI擅长形式主义数学，但无法判断真假对错、追寻真理，击中现在数学界主流的要害

所有跟贴·加跟贴·新语丝读书论坛

送交者: scott 于 2026-10-26, 14:46:22:

回答: 语义和逻辑演变是AI弱点。Elements和conjectures怎样演变，是陶哲轩诠释的难题 由 scott 于 2026-10-25, 19:25:00:

所以AI会迫使人类不得不更注重追寻真理。这是天意？

自然辩证法当然不行，但科学革命的结构理论也没讲到点子上。

生命科学只能研究演化。怎么诠释科学革命、分析智力的进化和退化关系到现在的文明兴衰。



所有跟贴:

加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明)