搜索
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。
AFAC2026金融智能创新大赛总决赛落幕，全球5027支队伍近2万名选手参赛，主办方联合30余家机构推出四道贴近真实金融场景的赛题，并正式发布覆盖13万条评测样本的"AFAC百万金融智能数据集"实现百亿级金融科技数据开源。
openJiuwen社区的ScienceDiscovery通过树搜索驱动科研产物RSI，无需训练模型，在积分求解、代码加速和符号回归任务中分别以小时级产出通用积分器、实现平均2.279倍加速，并以低成本在111道方程反推题中正确找出41.4%。
沙特人工智能公司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个百分点。
就在刚刚，GPT-6打破孪生素数猜想新纪录。
OpenAI正式发布GPT-6 Astra，宣称其为"全球最智能且最对齐的模型"，在电脑操作（OSWorld完成率72.6%）、ARC-AGI-3（99.9分）、审美判断力、主动性及网络安全（首个达Critical等级）等方面全面升级，Greg Brockman在媒体闭门会上宣布"欢迎来到AGI时代"。
戴森发布售价3899元的AI可视成像电动牙刷CameraJet，将电动牙刷、冲牙器、内窥镜和AI图像识别系统集成于同一手柄，通过刷头内置微距相机和基于47万张牙齿图像训练的算法自动识别牙缝并向其喷出漱口水，将于9月7日开启预售。
长期以来，机器人系统大多依赖专有模型。