#ai-reasoning

#ai-reasoning

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition's brutally tough problems to train an artificial intelligence model to think on its own for hours so that it was capable of writing math proofs. Their goal wasn't simply to create an AI that could do complex math but one that could evaluate ambiguity and nuanceskills AIs will need if they are to someday take on many challenging real-world tasks.

AI models from OpenAI and Google DeepMind achieved gold medal scores in the 2025 International Math Olympiad, illustrating rapid advancements in AI and competitive equality.

We show that LLMs - Gemma 3, GPT4o and o1-preview - exhibit a pronounced choice-supportive bias that reinforces and boosts their estimate of confidence in their answer, resulting in a marked resistance to change their mind.