AI破解50年未解数学难题，南大校友用OpenAI模型完成首个非平凡数学证明 作为一名热爱科技的人，亲眼见证了南大校友借助OpenAI模型完成首个非平凡数学证明的奇迹时刻。从深度神经网络到Transformer语言模型，再到强化学习，每一项技术都为这一成就奠定了基础。未来，随着AI for Science的不断发展，我们将迎来一个更加智能化的世界。 36KR热点 2025年04月15日 08:32 0 点赞 0 评论 44 浏览
DeepSeek-Prover-V2-671B 新模型开源发布：AI 推理领域迎来新变革 DeepSeek 最新推出的 DeepSeek-Prover-V2-671B 开源模型正式上线 Hugging Face，采用高效 safetensors 格式，引发 AI 社区广泛关注。 IT热点 2025年05月01日 11:50 0 点赞 0 评论 44 浏览
36KR热点
IT热点