AI破解50年未解数学难题，南大校友用OpenAI模型完成首个非平凡数学证明
作为一名热爱科技的人，亲眼见证了南大校友借助OpenAI模型完成首个非平凡数学证明的奇迹时刻。从深度神经网络到Transformer语言模型，再到强化学习，每一项技术都为这一成就奠定了基础。未来，随着AI for Science的不断发展，我们将迎来一个更加智能化的世界。
深度学习
36KR热点
商汤联合创始人谈DeepSeek：AI技术的未来与挑战
本文以第三人的视角，通过作者的亲身经历，深入探讨了商汤联合创始人对DeepSeek的看法及AI技术的未来发展与挑战，为读者提供了全新的视角。
百度热点
马斯克的xAI再推Grok 3：一场AI推理能力的新革命
文章详细介绍了马斯克旗下xAI公司即将发布的Grok 3大模型的核心特点、实际表现以及未来影响，强调了其超强推理能力和自我纠错功能，同时探讨了AI技术的发展趋势及潜在挑战。
腾讯热点
黄仁勋：我的根在中国，AI将助力中国腾飞！
黄仁勋强调自己首先是中国人，随后成为美籍华人。他对中国的AI发展前景充满信心，提及中国开源AI的重要性，还举出了AI在中国多个领域的应用案例。他指出了推动计算领域未来的两股力量，并阐述了AI在其中的关键作用。
头条热点
受DeepSeek-R1启发，小米大模型团队登顶音频推理MMAU榜的幕后故事
小米大模型团队基于DeepSeek-R1的灵感，成功开发出一套全新的音频推理系统并登顶MMAU榜单。本文通过核心成员小李的视角，详细讲述了这一过程中的挑战与突破。
IT热点
见证历史：两位华人坐镇Grok 3发布会C位，马斯克成“点头机器”
文章深入探讨了马斯克旗下xAI发布的Grok 3大模型发布会，特别聚焦于两位华人科学家Jimmy Ba和吴宇怀在其中的重要角色，分析了Grok 3的技术亮点及其对未来AI行业的影响。
博弈论入门：当博弈论遇上机器学习
本文从个人视角出发，探讨了博弈论与机器学习的结合，介绍了博弈论在支持向量机（SVM）、生成对抗网络（GAN）和强化学习中的应用，并展望了未来的发展方向。
简书热点
GPT-4o升级：聊天鬼才还是生图弱鸡？
作为一名普通用户，他深入体验了GPT-4o的新功能，发现聊天能力和STEM领域表现大幅提升，但生图能力有所减弱。通过实际案例展示了GPT-4o的强大与不足，并对未来改进充满期待。
稚晖君再创奇迹：人形机器人骑自行车，ViLLA架构引领未来
稚晖君及其团队发布的智元启元大模型和人形机器人引发了广泛关注。ViLLA架构的创新设计为人形机器人赋予了强大的学习能力和动作执行能力，使其能够完成诸如骑自行车等高难度任务。本文详细解析了ViLLA架构的工作原理及未来应用前景。
AI六小龙之一的阶跃星辰，开源两款多模态大模型引发全球关注
AI六小龙之一的阶跃星辰近期开源了两款多模态大模型Step-Video V2和Step-1o Vision，分别在视频生成和多模态理解方面取得重大突破。本文从个人视角出发，详细解读这两款模型的技术特点及其对行业的影响。