「DeepSeek v4」共找到 2250 篇相关文章
本地Opus你要不要！Qwen3.8-27B开源
阿里Qwen团队开源Qwen3.8-27B，上线2天登顶Hugging Face全球大模型趋势榜，下载破百万。其性能超Opus4.6，与顶尖模型相当，量化后普通电脑就能跑，原生多模态，编程、Agent、多模态跑分表现出色。
陶哲轩惊叹！数学奇点初现，AI首次给出人类无法企及的原创证明
谷歌DeepMind团队用Gemini证明代数几何新定理，获斯坦福教授认可；Grok 4.20解决Bellman函数难题；GPT 5.2处理高阶数学问题能力惊人。陶哲轩预言AI或独自攻克部分埃尔德什问题，2026年或成「ASI元年」。
Kimi新模型拿下代码开源SOTA，仅仅72B，发布即开源
深夜，Kimi发布新开源代码模型Kimi - Dev，在SWE - bench Verified上以60.4%成绩获开源SOTA。参数量72B，编程水平强。采用MIT协议，权重和代码已发布。官方透露了部分关键技术，更多细节待后续报告。
斩获近5w star！这个开源AI工具让你30 秒搞定“过去30天真相”！
信息碎片化时代，last30days开源AI工具聚合各平台“人群智慧”，按真实人群参与度打分合成摘要。它能搜索多平台，v3版有智能搜索等新功能，输出HTML摘要，优点多且易上手。
“龙虾”也需要看病？一张旧病历，引出三个新确诊
本文是悟空Agent泛化能力系列先导篇，以OpenClaw项目为例，介绍其通过不同泛化策略发现三个新漏洞，还总结实践原则。强调研究泛化能力对防御漏洞的重要性，4月底悟空Agent将开放试用。
用第一性原理超越AlphaFold：告别蛋白质工程的「碰运气」时代
在‘AI生物制造专场’中，杨晓锋副教授指出AI4S重塑蛋白质全生命周期，但面临维度鸿沟挑战。其认为AI需有外推能力，还展示可切割自聚集标签法简化流程，推动生物制造发展。
国产芯片也能跑AI视频实时生成了，商汤Seko 2.0揭秘幕后黑科技
自Sora 2发布，科技厂商掀起视频生成模型竞赛。12月15日商汤上线Seko 2.0，实现AI短剧‘一人剧组’。其背后的LightX2V框架做到实时生成，还适配国产芯片，有望推动视频创作生产力革命。
“光靠人盯不住了”！拆解上万张晶圆，这家公司靠 AI 将芯片良率提升数个百分点
喆塔科技创始人赵文政看好半导体软件领域引入AI技术。喆塔将DeepSeek接入自研模型，应用机器学习算法提升半导体企业良率，构建智能生态系统，产品获客户认可，未来将加大研发投入。
微软全球AI采用报告：每6个人就有1个用AI，但差距正在失控
微软AI经济研究所报告显示，2025下半年全球AI普及率创新高，每6人就有1人用AI，但全球南北数字鸿沟加剧。富裕国家借基建优势巩固领先，韩国靠政策、技术、文化实现跃升，开源模型DeepSeek在新兴市场崛起。
Altman亲自发博客点赞，这两大杰出人才是谁？
Altman发博文介绍OpenAI两位核心研究员Jakub Pachocki和Szymon Sidor，称他们结合前沿研究与工程实践，对公司发展至关重要。文中还介绍两人履历贡献，提及OpenAI“宫斗”及用户对ChatGPT语音和GPT - 4o的不满。