「好猜想」共找到 783 篇相关文章
Claude Code发布4个月，用户已经11.5万了，开发者：200 美元/月不算贵
Anthropic的Claude Code发布4个月吸引11.5万开发者，一周处理1.95亿行代码。它集成Claude Opus 4模型，功能实用，口碑好，让开发者觉得物有所值，反映开发者对AI编程工具接受度提升。
汤道生：腾讯持续加大 AI 投入力度，各项业务全面拥抱 AI
腾讯集团汤道生在 5 月 21 日峰会表示，生成式 AI 可用性质变，腾讯会加大投入，业务全面拥抱 AI。还提出‘四个加速’打造‘好用的 AI’，并介绍混元大模型、智能体等应用成果。
纯本地隐私绝佳，没网也能翻，30+语言支持！
日常常用翻译工具依赖云端，有隐私风险。开源离线翻译项目`Argos Translate`，基于Python开发，支持多语言互译，有多种使用形式。虽翻译精度略逊，但隐私性好、可自由部署，适合有安全需求的用户。
多模型共享 GPU 内存，Berkeley 开源新工具
GPU内存利用率低是大模型部署痛点，伯克利Sky Computing Lab团队开源kvcached工具，通过虚拟化技术让多模型共享显存。它引入虚拟内存概念，按需分配，测试显示能提升效率，安装简单、兼容性好。
火线解析MiniMax招股书！全球领先大模型成本只有OpenAI 1%，果然拳怕少壮
上海大模型独角兽MiniMax通过港交所聆讯冲刺IPO。它是全球化AGI科技公司，全模态能力领先且成本低。技术上各模态模型表现出色，采用“模型即产品”模式获客，财务业绩向好，团队年轻高效。
谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦
谷歌用Gemini对700个Erdős猜想做攻关实验，推进13个问题。但他们指出，这并不意味着AI能自动做数学研究，其背后核验等成本远超想象，还需警惕‘潜意识抄袭’。
给野马套上缰绳：Agent Harness 工程实践 ——从范式理论到钉钉AI招聘的真实落地
本文围绕 Agent Harness 工程实践展开，指出瓶颈在‘装’好模型而非模型本身。介绍 Agent 公式、范式跃迁、四条铁律、工程模式，以悟空 AI 招聘为例说明落地，还分析行业标杆、未来趋势，给出心法。
NeurIPS 2025 Spotlight | 你刷到的视频是真的么？用物理规律拆穿Sora谎言
随着生成式AI发展，合成视频以假乱真，现有检测方法难泛化。本文介绍发表于NeurIPS 2025的文章，提出NSG统计量和NSG - VD检测方法，对未知生成范式检测效果好，实验表现超越现有方法。
陶哲轩ICM 2026：数学界迎来「百年新危机」，AI狂飙逼迫全行业重写游戏规则
7月24日，陶哲轩在ICM 2026演讲指出数学界正经历新危机，关乎价值观与工作方式。他围绕AI能力猜想探讨数学界如何应对，列举目标和风险，提出需升级目标，还介绍莱顿宣言建议。
真卷啊，AI编程老祖Devin估值反超Cursor了
AI编程赛道竞争激烈。Devin开发商Cognition年化收入逼近10亿美元，新融资估值目标400亿美元，将反超Cursor。其收入倍数收窄，有真实增长，新技术能3秒配好开发环境，产品走智能体路线。