math-olympiad

MIT 与 IMO 联合推出 MathNet，汇集 40 多国、40 年国际数学奥林匹克赛题与详解，数据量较现有数据集扩大 5 倍。

Google 正在为 Gemini 应用中的 Google AI Ultra 订阅者推出 Deep Think，这是一项新的推理能力，采用并行思维技术，在 2025 IMO 基准测试中达到铜牌级性能。完整的金牌级版本正与精选数学家分享用于研究目的。