IMO-ProofBench Advanced

Gemini 3.0 Pro pipeline slashes math problem costs, achieves SOTA

Researchers have developed a new inference pipeline that significantly reduces the cost of using off-the-shelf AI models for complex math problems. This method achieves state-of-the-art performance on the IMO-ProofBench…