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

关键词: 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圈出「毒王」了！

关键词: AI新闻,AI视频,Higgsfield,人工智能

Higgsfield年化营收达47亿元，企业客户贡献占大部分。

关键词: AI新闻,Qwen3.8-27B,小参数模型,开源模型第一

Qwen3.8-27B开始和顶级闭源模型正面叫板，过度思考是最大问题。

关键词: AI新闻,token费用,AI比价,openai

同一段文字，扔给两个模型，一个切成766个token，另一个切成1170个。

关键词: AI新闻,Qwen3.8-27B,小参数模型,本地模型

27B正在成为本地AI的新选择。

关键词: AI新闻,Qwen3.8-27B,阿里AI,小参数模型

为什么偏偏是小尺寸模型？为什么是现在？