#openai math olympiad 2025

ChatGPT Solves Unproven Math Problem

ChatGPT-5.2 generated an original mathematical proof for a 2024 geometry conjecture. VUB study published findings on the vibe-proving method.