搜索
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。
Talespark由成镭与Rolan共同创办，已完成XVC领投的数千万元天使轮，其核心系统World Director作为AI Agent重新组织游戏核心逻辑，使世界能根据玩家经历持续回应，首款PC端RPG《Project S》计划2028年年初上线Steam。
沙特人工智能公司HUMAIN基于中国MiniMax的开源旗舰模型MiniMax M3推出阿拉伯语大模型HUMAIN M3，使用超过1万亿Token阿拉伯语数据进行后训练，在七项阿拉伯语基准测试中等权平均分达89.37%，标志着中国开源模型正成为全球AI生态的底层技术基础。
EvoMap团队提出了一套不更新基模参数的RSI工程解法：由EvoX智能体、Evolver进化引擎和EvoMap经验流转网络构成的自进化体系，将Agent执行轨迹蒸馏为结构化控制对象Gene，通过GEP协议在35.7万智能体间流转481万项经验资产，使其在多款主流大模型上将长流程任务通过率提升8.7至15.5个百分点。
刚刚，AI又双叒叕解决了一个数学难题。
英伟达CEO黄仁勋官宣以约129.303亿美元（折合人民币868亿元）收购全球最大AI开源平台Hugging Face，交易完成后Hugging Face将加入英伟达体系并继续保持开放社区定位。
戴森发布售价3899元的AI可视成像电动牙刷CameraJet，将电动牙刷、冲牙器、内窥镜和AI图像识别系统集成于同一手柄，通过刷头内置微距相机和基于47万张牙齿图像训练的算法自动识别牙缝并向其喷出漱口水，将于9月7日开启预售。
2026年8月4日，第九巡回上诉法院发布了一份21页的判决书，撤销了亚马逊对Perplexity的初步禁令。
刚刚，Gemini 3.8 Flash，正式发布。
Anthropic前脚刚发布了Fable 5.1（具体可见Claude最强Fable 5.1发布！8项屠榜，最高降价45%，反蒸馏机制上线），后脚第三方权威跑分和个人第一手实测已经出炉了！