数学的“第四次危机”：从不可说，到无可说
杨健教授系统梳理了数学历史上的四次危机，分析了AI对数学本质的挑战与影响。文章指出，当前AI在数学领域的应用引发了关于证明定义、可理解性和数学本质的深刻讨论，数学家担忧AI可能改变数学的人文本质，但也认为AI可能降低数学门槛，促进数学发展。
推荐理由：文章系统梳理了数学四次危机，分析了AI对数学本质的挑战与影响。
#DeepSeek
钛媒体精选AI 评分8080
IT之家AI 评分6565 字节 Seed 团队发现 DeepSeek 长上下文性能漂移原因
字节 Seed 团队发现 DeepSeek-V4 系列模型因分块 KV 缓存压缩导致相位敏感性，使长上下文检索准确度在不同阶段相差高达 40 个百分点。