[AI]news - 5月22日新闻早报：OpenAI推理模型破解80年数学难题，Anthropic首季盈利、与SpaceX签15亿美元算力协议，Google Gemini Omni多模态震撼发布