晨间AI简报 - 2026年05月22日

OpenAI模型推翻80年数学猜想；Hark融资7亿美元；特朗普推迟AI安全行政令；Spotify与环球音乐AI协议；深度研究新基准与网页Agent加速论文解读。