Researchers at OpenAI have claimed that one of its reasoning models has independently solved a long-standing geometry problem first proposed by Paul Erdős in 1946. This AI breakthrough has pushed the debate around machine-led scientific discovery into mainstream mathematics. The development has drawn attention from mathematicians