DeepSeek推出的Prover-V2模型专注于数学定理证明，刷新多项基准测试记录。该7B模型成功解决了671B模型未能解决的问题，展现出独特的推理模式。Prover-V2结合强化学习与子目标分解，提升了形式化与非形式化证明的能力，标志着数学领域的重要进展。

三名高中生利用课余时间重新证明了一个百年数学定理，展示了在门格海绵中可以找到任意结的可能性。他们通过创新的方法，将结的弧表示与康托尔集结合，成功将三叶结映射到四面体版本的门格海绵中，体验了数学研究的挑战与乐趣。