An AI won a gold medal at the International Mathematical Olympiad
Google DeepMind's Gemini Deep Think solved five of the six problems at the world's hardest high-school math competition, writing its proofs in plain English within the same time limit as the students.
Why this is new because of AI
Only about one in twelve of the world's best young mathematicians earn gold. A computer had never reached that level by writing human-style proofs, with no special math software doing the work.