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