Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made mathematicians pay attention.

Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made mathematicians pay attention.

Un chatbot di OpenAI ha risolto il problema della distanza unitaria di Erdős, irrisolto dal 1946. I matematici sono stupiti.