AI日报AI日报 – 2025-07-20(晚)AI代理上下文工程AI推理GPT-5GPT-5发布计划IMO金牌水平AIMeta超级智能团队Meta超级智能团队构成OpenAIOpenAI实验性推理LLM上下文工程国际数学奥林匹克竞赛大型语言模型
