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

关键词: AI新闻,AI视频,OiiOii,Fal H3 Max

现在用 AI 做视频，效果这块已经很可以了，最大的问题就是生成速度实在太慢。

关键词: AI新闻,AI数学,claude,AI黎曼猜想

Claude证明超67%黎曼zeta零点位于临界线上，数学家Youness Lamzouri随后用更简洁的希尔伯特空间不等式给出了优雅的重新证明，AI工具AxiomProver在数小时内于Lean中完成自动形式化验证。

关键词: AI新闻,GPT-6,模型测试,你画我猜 Benchmark

我们自建的"你画我猜 Benchmark"第一期用150个词、1350张SVG画作对8款模型进行互画互猜测试，最终GPT-6 Astra以75.5分险胜Gemini 3.8 Flash与Claude Fable 5.1，结果显示思考更多或花费更多的模型并未稳定取得更高分，且部分模型连自己的画都认不出。

关键词: AI新闻,模型训练,谷歌AI,Antigravity

谷歌Antigravity团队公布Teamwork多智能体编排框架成果，轻量级Gemini 3.7 Flash复现了Gemini 3.1 Pro解出的3道博士级数学难题，并从零构建RISC-V CPU模拟器、改进Eigen和ParlayHash开源库代码，证明小模型通过制度化博弈编排也能完成顶尖科研与工程任务。

关键词: AI新闻,OpenClaw 2.0,OpenClaw 2.0 实测,OpenClaw 2.0测评

OpenClaw 2.0（v2026.8.1）对比前代v2026.7.1-2的实测显示，新版将LLM请求次数减少38%、工具调用减少35%且未触发上下文压缩，把开源Agent从个人工具推向可长期托管、可协作复盘的工作系统，但命令行安装和工程门槛依然较高，更适合团队受控环境测试。

关键词: AI新闻,AI制药,人工智能,Owkin,K Pro

AI制药公司Owkin与勃林格殷格翰达成许可协议，将人工智能科学家K Pro及多模态患者数据用于肿瘤学和免疫学多个适应症的药物发现，K Pro已将Owkin内部药物靶点识别速度提升70%。

关键词: AI新闻,AI政策,国务院关于深入实施“人工智能+”行动的意见,关于开展人工智能应用服务商培育专项行动的通知

工信部印发《关于开展人工智能应用服务商培育专项行动的通知》，明确到2027年底建成不少于3000家服务商的全国资源池，并通过资源池认证、应用服务团组建、"小快轻准"产品开发、采购与出海支持等举措，为民营企业提供明确政策机遇。

关键词: AI新闻,AI数学,GPT-6,openai

OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，显示 AI 正从数学解题工具走向研究伙伴。

关键词: AI新闻,人工智能,AI金融,AFAC百万金融智能数据集

AFAC2026金融智能创新大赛总决赛落幕，全球5027支队伍近2万名选手参赛，主办方联合30余家机构推出四道贴近真实金融场景的赛题，并正式发布覆盖13万条评测样本的"AFAC百万金融智能数据集"实现百亿级金融科技数据开源。

关键词: AI新闻,模型训练,人工智能,ScienceDiscovery

openJiuwen社区的ScienceDiscovery通过树搜索驱动科研产物RSI，无需训练模型，在积分求解、代码加速和符号回归任务中分别以小时级产出通用积分器、实现平均2.279倍加速，并以低成本在111道方程反推题中正确找出41.4%。