AlphaProof is among the most relevant methods here. And because it trains by self-play, instead of historical human data - it has a much better chances of being able to solve novel problems, or come up with solutions that humans have not. It did pretty good at the 2024 Olympiad. Will be interesting to see how 2025 goes.