陶哲轩携AI再战数学，o4-mini秒怂弃赛，Claude 20分钟通关！
陶哲轩近期通过AI工具仅用33分钟完成一页复杂的数学证明，展示了AI在数学研究中的巨大潜力。同时，国产AI模型DeepSeek打破国外垄断，推动AI辅助证明技术发展。但在实际测试中，OpenAI的o4-mini表现不佳，而Claude却在20分钟内通关数学难题，引发关于AI在数学领域应用前景的热议。
DeepSeek
36KR热点
苹果放弃DeepSeek转投阿里巴巴，AI领域风云再起
苹果曾测试DeepSeek大模型但最终选择与阿里巴巴合作，为中国的iPhone用户提供AI功能。本文分析了苹果放弃DeepSeek的原因，以及阿里巴巴、DeepSeek各自的优势和发展前景。
IT热点
斗了半个世纪，他终于“放下武器”
作为一名长期关注腾讯发展的观察者，他目睹了这家公司从激烈的市场竞争中成长起来的过程。从早期的3Q大战到如今与DeepSeek的合作，腾讯展现了从竞争到合作的转变。在这场变革中，马化腾领导下的腾讯不仅优化了资源配置，还开启了全新的战略布局。
腾讯热点
第一批DeepSeek开发者为何开始逃离？
本文深入探讨了DeepSeek首批开发者选择离开的原因，分析了其背后的行业现状及未来发展方向。通过罗福莉等开发者的经历，揭示了开源大模型在商业化道路上面临的困境与机遇。
揭秘DeepSeek提及的FP8：下一代国产芯片的秘密武器？
最近，DeepSeek在其最新版本DeepSeek - V3.1中提到的FP8引起了广泛关注。FP8是一种低精度数字格式，它在DeepSeek - V3的训练中被用于混合精度计算，能减少计算量和内存占用，加快训练速度并节省能源。FP8混合精度训练技术还有许多优势，如细粒度量化策略、低精度优化器状态等。这对DeepSeek的性能提升有很大帮助，也让我们对下一代国产芯片充满期待。
头条热点
马化腾的DeepSeek布局：腾讯AI助手“元宝”背后的深思熟虑
文章深入探讨了腾讯AI助手“元宝”接入DeepSeek-R1背后的战略意义，分析了DeepSeek对AI行业的深远影响以及腾讯在AI领域的布局。
实测DeepSeek-R1小版本更新：三大场景梳理模型升级点和缺陷
本文以第三人称视角实测DeepSeek-R1最新小版本更新，详细梳理推理能力、代码生成及中文写作三大场景的升级表现与现存缺陷。
傅盛：DeepSeek是中国的ChatGPT时刻
本文从个人视角出发，深入探讨了DeepSeek在中国AI领域的崛起及其对各行业的深远影响，涵盖商业化进程、用户体验优化、行业合作及资本市场的反应等方面。
深度解析Meta发布的Llama 4大模型：技术革新与未来展望
作为一名AI行业的观察者，他深入分析了Meta发布的Llama 4大模型。从技术革新到商业化探索，再到未来展望，他揭示了这款模型的潜力与挑战。他认为Llama 4虽然在某些方面存在不足，但其技术创新和商业化策略为未来发展提供了广阔空间。
知乎热点
DeepSeek涨价了，真相竟是如此复杂！
DeepSeek涨价引发热议，背后涉及商业生态、用户误解及信息差等多方面问题。本文从个人视角出发，深入探讨这一现象，并提醒读者理性看待DeepSeek的价值。
微博热点