如何评价 Deepseek 新发布的 DeepSeek-Prover-V2-671B 模型？知乎热议背后的深度解析
知乎用户热议 DeepSeek 最新推出的 DeepSeek-Prover-V2-671B 模型，该模型以强大的数学推理和逻辑证明能力引发广泛关注。
人工智能
知乎热点
具身智能机器人落地前的三大难关，你真的了解吗？
本文围绕近期热门话题“具身智能机器人落地前的难关”展开分析，结合浦东新区机器人大会及多家媒体报道，深入探讨了技术融合、应用场景拓展及资本市场趋势等核心问题。文章以第三人称视角叙述，内容真实、语言生动。
36KR热点
数学界震动！AI直觉刷爆人类顶尖难题，14位专家集体破防
近日，30位世界顶尖数学家在UC伯克利对OpenAI o4-mini发起挑战，试图测试其数学能力。令人震惊的是，AI不仅轻松应对多项难题，甚至展现出类似“直觉”的解题能力，令14位专家集体破防。这场测试揭示了AI在数学领域的巨大潜力，并引发了对未来科研模式的深度思考。
Grok4震撼发布，马斯克力保身边华人，这背后有何玄机？
近日，马斯克旗下的xAI发布了Grok 4，声称这是地球上最聪明的AI。在发布之际，马斯克特别提到要保护好身边的两位华人，引发众多猜测。本文将带你了解Grok 4的诞生历程、技术突破，并探讨马斯克提及华人背后的可能原因。
Grok 4震撼发布：马斯克的AI战歌
马斯克旗下的xAI公司发布了Grok 4，这款被称为‘世界最强’的AI模型在多个方面展现出超强实力，其发布引发了人们对AI未来的关注。
Manus创始人首度发声：从爆火到‘折戟’的那些事儿
Manus曾被视为AI智能体领域的‘黑马’，然而如今却面临裁员、出走等诸多问题。近日，Manus创始人终于发声，详细讲述了从创业到现在的点点滴滴，从中我们可以窥见这家企业兴衰的背后故事。
90后辍学生创造奇迹：4000亿市值，AI助力美股最大IPO
一位90后的辍学生创造出令人惊叹的成绩，他领导的企业拥有4000亿市值，成为今年美股最大IPO之一，股价暴涨250%，背后有着独特的创业经历和技术优势。
OpenAI首席科学家访谈突遭制止，背后竟有如此隐情！
OpenAI首席科学家访谈被紧急制止一事引起广泛关注，背后涉及多种因素，包括技术保密、利益冲突等，这对科技行业带来巨大冲击，引发对透明度、伦理等问题的思考。
刚出炉！DeepSeek新模型开源，五大能力大变革，我的一手体验
讲述了DeepSeek新模型开源的相关情况，详细介绍了该模型在多模态信息检索与生成、浏览器智能体任务、对话内容生成分享图功能、模型性能优化以及对齐海外顶尖模型技术等方面的五大能力变化，并分享了自己的使用体验。
奥特曼与GPT-5：一场AI界的‘大地震’
在AI领域，奥特曼推出的GPT-5引发了巨大风波。从GPT-5的发布到用户的吐槽，再到GPT-4o的回归，以及奥特曼的回应和对未来改进方向的阐述，这篇文章带你深入了解这场AI界的‘地震’。