数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞
编辑｜Neo100 多位顶尖数学家，耗费数十年，写下 1.5 万页证明。现在，AI 只用了 24 天，就把这项人类数学史上最庞大的工程之一，变成了 4300 多万行可以由计算机逐步验证的代码。更惊人的是，AI 在检查这些数学家留下的证明时，还揪出了一个存在近 40 年的论证漏洞。这不是一道奥数题，也不是一篇几十页的数学论文，而是被...
AI NEWS JOURNAL
搜索 AI 资讯
检索标题、摘要与正文，把分散的信息连起来。
随着折扣交易的瓦解，AI代币的销售愈发艰难
模型积分正出现在各类节日促销活动和运营商风格的套餐中。那些依靠不透明加价而蓬勃发展的小型经销商，如今面临质量质疑、监管压力以及资金更雄厚的竞争对手的挑战。而实力雄厚的中间商则会针对路由、信任与集成收取费用，而非通过暗中降价来吸引客户。
大模型时代，谁会成为那部不肯换掉的“iPhone”？
AI排行榜上的冠军会换，用户每天使用的产品却未必换。大模型的下一场竞争，不仅仅是谁的模型更强，而是把一次使用变成习惯。
这位AI电台主持人会说西班牙语，并支持移民群体。它正赢得听众的青睐
Coyotec 既会说双语，又爱骂人，还教听众如何防范美国移民及海关执法局（ICE）。它的走红正值越来越多的广播机构开始尝试打造人工智能虚拟人格之际。