OpenAI's AI disproved the Erdős unit distance conjecture, an 80-year-old geometry problem. Days later, Google DeepMind solved 9 more Erdős problems ...