Tomasz Tunguz@tunguz2026年9月27日 21:55与您可能从头条新闻中听到的相反,数学领域的某些领域*几十年来*一直在使用计算机进行证明。我最好的朋友之一是一位代数学家,他已经从事这行很长时间了。他没有失去工作,也从未担心过自己的数学家生涯。用这些信息做你想做的事。打开原帖#511482