Revised arXiv paper says AI agent solved 44 of 50 IMO geometry problems using ~13,000 examples
A revised arXiv preprint reports InternGeometry, an LLM agent, solved 44 of 50 IMO geometry problems using roughly 13,000 training examples, claiming high data efficiency.