数学证明相关资讯

下载专栏：电池公司转向AI，重写数学

MIT科技评论《下载》专栏今日版聚焦两大热点：电池行业面临西方公司集体凋零，一家电池企业果断转向AI算力领域；同时，AI正重塑数学证明方式，推动从形式化验证到自动化定理发现。本期探讨电池巨头Qichao Hu的直言不讳，以及AI如何颠覆传统