Tag
This paper introduces an open-source benchmark for evaluating diagrammatic reasoning in geometry, revealing that foundation models like GPT and Claude struggle to produce faithful diagrams despite their problem-solving abilities.
Opus 5, an AI model, achieved a perfect score on the International Mathematical Olympiad, demonstrating advanced mathematical reasoning.
This thread explores how math/programming Olympiad backgrounds mass-produce tech founders, pointing out that the internalized systematic problem-solving ability, belief, and peer effect from the competition paradigm are the core engine, with quantitative finance as a transfer station, but also reminds that entrepreneurship requires skills beyond problem-solving.
A paper introduces a unified recipe (SU-01) that combines reverse-perplexity curriculum, two-stage reinforcement learning, and test-time scaling to achieve gold-medal-level performance on IMO and IPhO problems using a 30B-A3B backbone.
This paper audits multimodal physics evaluation pipelines, revealing issues like train-eval contamination, translation drift, and MCQ saturation. It releases new datasets (PhysCorp-A, PhysR1Corp, PhysOlym-A) and a training recipe (Physics-R1) that significantly improves performance on held-out olympiad problems.
A paper presenting SU-01, a 30B-A3B reasoning model that achieves gold-medal-level performance on IMO and IPhO problems via reverse-perplexity curriculum, two-stage reinforcement learning, and test-time scaling.
MIT researchers, in collaboration with KAUST and HUMAIN, have released MathNet, the largest open-source dataset of Olympiad-level math problems, containing over 30,000 expert-authored problems from 47 countries.
OpenAI achieved a new state-of-the-art 41.2% on the miniF2F formal math olympiad benchmark using a technique called 'statement curriculum learning,' which iteratively trains a neural prover on proofs of increasing difficulty. The approach builds on iterative proof search and retraining over 8 iterations to significantly outperform the previous best of 29.3%.