Skip to content
TopicTracker
来自 HackerNews查看原文
译文语言译文语言

定理经济的衰落

本文探讨了传统数学证明体系面临的挑战,以及人工智能如何可能改变数学知识的产生、验证和传播方式,从而引发数学研究范式的根本性转变。

相关报道