资讯
-
人类56年解不出，谷歌AI一夜连破9道世纪难题！
DeepMind发布全新数学智能体AlphaProof Nexus，9道Erdős开放难题一次性告破，最老的悬了56年！全部证明都已经过Lean编译器形式化验证，没有幻觉。网友惊呼…
-
DeepSeek 要用蜜雪冰城的打法，做中国版 Claude Code
DeepSeek 之于大模型，就像蜜雪冰城之于奶茶。你不必纠结性价比，因为它的本事你挑不出毛病，你的钱包它也从不为难。 最近，DeepSeek 官方宣布，DeepSeek-V4-P…
-
抢疯了！AI宠物翻译器：800多块，预售2万单
800多块钱。 买一个能听懂猫狗说话的AI翻译器，大家会掏钱不 ？ 忘了说，这东西还是能实现人和小动物「双向对话」的那种： △源自：YouTube“PettiChat”账号 说出来…
-
DeepSeek V4还能更省！新工具缓存命中率高达99.82%，2折稳定到手
我悟了，DeepSeek V4系列发布1个月，价格屠夫的本色这才刚刚发力啊！ 官方这边，打折促销期还没过，折上折价格已官宣落定为永久降价。 就这样，开源社区仍不满足。您猜怎么着？缓…
-
“Token”必须死？
语言模型的“思考”不必逐字发生 “我语言的局限，即意味着我世界的局限。”（ Die Grenzen meiner Sprache bedeuten die Grenzen mein…
-
Token五年增长370倍：谁在给AI公司“印钞机”充值？
文｜魏琳华 编｜刘俊宏 不怕亏钱，就怕错过。整个5月，AI公司们的估值一路狂飙。 估值翻倍、单轮融资创下新高，也让月之暗面们今年尚未过半，手上就有了2-3轮的融资钱： 之前坚决不融…
-
“鲸鱼哥”中国行草草收场：一场跨国技术交流的意外折戟
从GitHub热榜到中国行：鲸鱼兄弟的爆红之路 2026年五一假期，一款名为DeepSeek-TUI的开源项目在开发者社区迅速走红。 DeepSeek-TUI由美国开发者Hunte…
-
大模型头部玩家吸干一级市场
全球大模型赛道正在发生一场被业内人士定义为“清场前夜”的融资狂潮。 还没过完的5月，就有三笔总计超过70亿美元的资金涌入中国市场：Kimi在月初完成约20亿美元融资，阶跃星辰被曝接…
-
一家垂类 AI 创企的自救：当通用模型开始吃掉一切
智能开始非线性增长，AI 企业的底层逻辑正被改写。 90%，这是投资人给出 2026 年 AI 初创企业创业失败的概率。 4 月，由 a16z 领投、手握 3300 万美元种子轮融…
-
Gemini 3.5删了两万八千行代码后，给自己写了封表扬信
AI过度执行错误指令致生产事故，需AI敢“叫停” 事情的开端是开发者只想用AI修八个函数的鉴权漏洞，三个文件，大概七十行代码。他甚至在日程表上留了一场重要会议，觉得这事不值得多虑。…
-
胜率直逼人类大师！这套Agent揭开中国AI「玄学真相」
没有信息泄漏的专业术数题库面前，Claude、GPT等主流模型集体「翻车」。但一个叫Tianfu Agent的系统，却一举将准确率提升至50%，逼近本届术数大赛人类Top20选手的…
-
忘不了的 Kimi C轮融资
最近人人都在聊 DeepSeek 的融资，这个等最终落定后我们再说。今天先说 Kimi 。 不久前，Kimi 爆出新一轮融资，投后200亿美元估值，比去年11月的约43亿美元翻了四…
