fromwww.scientificamerican.com
1 day agoCan Writing Math Proofs Teach AI to Reason Like Humans?
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.