AI日报AI日报 – 2025-06-05(早)AI医疗评估AI可信度评估AI多智能体系统AI数学研究AI硬件优化AI编程工具AI能源消耗AI视频生成AlphaProof数学竞赛AudioTrust音频大模型评估DARPA expMath项目FrontierMath基准测试GUI-Actor视觉定位
