[2025-10-18]: The code and models have been released! We have improved the training resolution of the models and achieved better results compared to the original paper. Both old weights (for ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...