深度学习

实测o3/o4-mini:3分钟解决欧拉问题,OpenAI最强模型名副其实

作为一名科技爱好者,他深入研究了OpenAI最新发布的o3和o4-mini两款推理模型。经过实际测试发现,o4-mini在解决复杂问题时表现出惊人的速度,仅用2分55秒便完成了原本需要30分钟才能解决的Project Euler问题。同时,o3在数学推理等领域也有出色表现。两者各具特色,将在科研、教育等多个领域发挥重要作用。

LLM推理暴涨,DeepSeek华人团队引领AI新纪元

DeepSeek华人团队通过技术创新,推动了LLM推理能力的大幅提升,为中国AI的发展注入了强大动力。本文从技术、市场、竞争等多个角度分析了DeepSeek的成功原因及其对行业的影响。

AI破解50年未解数学难题,南大校友用OpenAI模型完成首个非平凡数学证明

作为一名热爱科技的人,亲眼见证了南大校友借助OpenAI模型完成首个非平凡数学证明的奇迹时刻。从深度神经网络到Transformer语言模型,再到强化学习,每一项技术都为这一成就奠定了基础。未来,随着AI for Science的不断发展,我们将迎来一个更加智能化的世界。