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）和强化学习中的应用，并展望了未来的发展方向。
简书热点
DeepSeek的思维链：真实思考还是模拟人类？
本文探讨了DeepSeek模型展示的思维链是否是其真实思考过程，还是为了更像人类而设计的。通过对比DeepSeek与GPT在文化批判任务中的表现，以及分析透明化思维链的意义和潜在风险，文章提出了对未来AI技术发展的思考。
知乎热点
走进英伟达Project Digits：个人AI超算的革新
文章介绍了英伟达最新发布的类Mac Mini大小的个人AI超算Project Digits的特点、优势及其适用人群，并对其市场定位进行了分析。
GPT-4o升级：聊天鬼才还是生图弱鸡？
作为一名普通用户，他深入体验了GPT-4o的新功能，发现聊天能力和STEM领域表现大幅提升，但生图能力有所减弱。通过实际案例展示了GPT-4o的强大与不足，并对未来改进充满期待。