AI日报AI日报 – 2025-06-01(晚)AI应用AI智能体AI模型AlphaEvolve数学纪录FP4训练方法Gemini AI智能体Grok系统提示Sonnet 4.0表格解析人工智能大语言模型机器学习深度学习算力瓶颈AI日报AI日报 – 2025-04-14(下)Agentic AI applicationsAI主权困局AI破解数学难题AI驱动科学发现Gemini 2.5 Pro编程能力HBM与先进封装人工智能