AI Just Broke Something Fundamental About Mathematics
中文摘要
AI颠覆数学基础，让证明发现从稀缺变为丰富。这根本改变了几个世纪以来寻找数学证明的难题。
English Summary
AI fundamentally transforms mathematics by making proof discovery abundant. This reverses centuries of scarcity, potentially revolutionizing how we find and understand mathematical truths.
原文节选
For centuries, discovering a proof was the hard part. AI could turn that scarcity into abundance. Continue reading on Medium »