數學推理

MathNet 把數學推理和檢索一起測

MathNet 用 30,676 題、47 國、17 語言的奧賽數學題，同時測推理、相似題檢索與 RAG 效果。