AI资讯新闻榜单内容搜索-7

关键词: AI新闻,AI数学,AI科研,claude

一道悬了整整78年的世纪难题，三天就被破了！

关键词: AI新闻,模型训练,Terminal-Bench 2.1,LLM-as-a-Verifier

同样的模型，同样的任务，让它执行五遍，再让他自己挑一遍最稳的，效果能有多大提升？斯坦福把这套玩法用在了AI身上，DeepSeek V4 Flash在Terminal-Bench 2.1的成绩从79%一路涨到88%，反超了尖子生Fable 5。而且连做五遍加挑选这一通折腾，价格依然比Fable 5便宜了4-11倍。

关键词: AI新闻,i1,文生图,开源模型

近来文生图模型发展迅速，但每篇工作多是独立地引入一整套模型、数据和训练设计，然后用私有的数据训出来了一个亮眼的模型。

关键词: AI新闻,Hugging Face,人工智能,AI独角兽

据 Business Insider 报道，人工智能开源平台 Hugging Face 正探索出售事宜，交易估值有望达到 130 亿美元（约合人民币 876.6 亿元）。该公司总部位于纽约，目前托管着大量开源大语言模型和数据集，并已聘请投行协助评估潜在竞购方意向。

关键词: AI新闻,Qwen3.8,Qwen3.8-27B实测,Qwen3.8-27B测评

Claude Opus 4.6的轻量平替，只需要 27B 参数，你信吗？最近发布的Qwen3.8-27B，就顶着这样的评价火遍了开源社区。上线两天，下载量突破100万次，登顶Hugging Face全球大模型趋势榜。

关键词: AI新闻,Axiom Math,AI数学,AxiomProver

新智元报道 人类证出来的最难素数定理，AI刚从头验了一遍。 结论是：证明成立，逻辑无误。 8月17日，由一位25岁广州女孩创立的AI公司Axiom Math宣布，自家系统AxiomProver完成了「

关键词: AI新闻,Anthropic,AI企业服务,人工智能

图片来源：Anthropic Anthropic与黑石(Blackstone)等华尔街企业共同成立的合资公司，在7月成立以来完成了首笔收购，旨在推动Claude在企业客户中的增长。 Anthropic

关键词: AI新闻,AI IP,方桃子,被裁掉的女孩,菲菲飞

方桃子可能是这个夏天最爆的大女主，AI生成的。很多在大城市辛苦打拼的女孩们，从她身上看到了自己。而对于隐身幕后的导演菲菲飞来说，最重大的意义是，观众不光认识了方桃子，也对制作团队产生了好奇。这个从7年模特生涯中无奈退场的女孩，再次回到舞台中心。

关键词: AI新闻,AI社交,SparkChat,AI交友

SparkChat，就盯上了这类朋友之间很日常的社交问题，由Digipals推出，核心创始人Peggy Wang是斯坦福CS本硕，做过Lyft Level 5和Meta Reality Labs，第一次创业的Ego便进入了YC W24，并累计融资750万美元。

关键词: AI新闻,Anthropic,AI病毒,人工智能

完了，AI圈出「毒王」了！