「DeepSeek-Prover」共找到 654 篇相关文章
摩尔线程之后，又一家国产 GPU 独角兽完成上市辅导
6月23日，国产GPU龙头沐曦IPO辅导完成，将提交申报材料。其为异构计算提供全栈GPU方案，产品有曦思N、曦云C、曦彩G系列。曾与书生・浦语3.0合作，2024年交付多个算力集群。此外，国产GPU厂商纷纷IPO。
AI助手Cici悄然霸榜海外，又是字节
AI智能助手领域有新玩家，字节跳动的Cici在多个国家应用商店霸榜，数月内下载量爆发式增长。它融合字节旗下技术，文本生成用到OpenAI、谷歌模型。同时，豆包在国内AI智能助手赛道全维度领先。
微软深夜发布SambaY架构，Phi-4min加速10倍推理
微软基于Phi - 4 - mini微调出Phi - 4 - mini - Flash - Reasoning 3B模型，扩展到200064 tokens。采用新型SambaY架构，支持64K token上下文长度，运行速度比前代快10倍，有诸多优点。
印度国家级大模型上线两天仅 300 余次下载，投资人直呼“尴尬”：韩国大学生模型都有20万！
印度 Sarvam AI 发布国家级模型 Sarvam - M，虽被赞为本土 AI 研究突破，支持 10 种印度本地语言，但上线两天仅 334 次下载，投资人批评其成果‘令人尴尬’，引发社区激烈争论。
教你构建私有 AI Coding 平台：Pi、DSH、Codex Harness 扩展能力对比与选型。
文章聚焦构建私有AI Coding平台，对比Pi、DeepSeek Harness、Codex Harness的架构、扩展能力及选型策略。介绍三者交互集成方式，分析其扩展特点，并为不同需求团队给出选择建议。
华为AI芯片来时的路
文章围绕华为AI芯片发展展开，提及方兴东《昇腾崛起》记录其历程。从战略觉醒到技术研发、应对制裁，华为历经曲折，如提出“韬定律”，发布多款芯片，在逆境中构建生态、拓展市场，展现强大实力与坚韧。
实测夸克「千问划词快捷指令」，这7个邪修Prompt，建议收藏
新年 DeepSeek 发布技术论文，网友难理解便求助 AI。夸克 AI 浏览器更新，‘千问划词’支持自定义快捷指令，实测精选 7 类实用指令，还介绍了操作方法，且其功能不断进化。
Kimi新模型拿下代码开源SOTA，仅仅72B，发布即开源
深夜，Kimi发布新开源代码模型Kimi - Dev，在SWE - bench Verified上以60.4%成绩获开源SOTA。参数量72B，编程水平强。采用MIT协议，权重和代码已发布。官方透露了部分关键技术，更多细节待后续报告。
V4Flash 的价格、Opus4.8的能力，Ox Alpha （牛来）正式开源！
Ox Alpha 匿名模型上线 OpenRouter 后表现亮眼，消耗大量 tokens 并终结 DeepSeek 霸榜纪录。官方揭晓其为智谱 GLM - 5.3 Flash，价格低、能力强，经多场景测试，多模态理解等维度达顶尖水平。
现在，最会赚钱的AI是Qwen3！全球六大模型厮杀，Top 2来自中国
大模型「炒股」大赛中，阿里Qwen3 Max逆袭DeepSeek夺冠，成「最会赚钱」模型，GPT - 5成「最会赔钱」AI。比赛由Nof1实验室打造，Qwen3 Max成绩体现国产大模型实力。