AI快开门

发现最好的AI工具

2025-05-03

数学与科学推理突破

DeepSeek-Prover-V2在普特南测试一举解答49题,7B小模型竟自学出671B巨模型未掌握的定理技巧;北大PHYBench同时揭示大模型物理推理短板,推动“学思结合”新训练范式。两项进展标志AI正向严谨科学领域深度渗透,为自主发现新知识奠定算法基础。