› Ile par punktów na kartce papieru może dzielić dokładnie jeden centymetr?
› To pytanie, które w 1946 roku postawił węgierski matematyk Paul Erdős, przez osiem dekad pozostawało bez odpowiedzi.
› OpenAI ogłosiło, że jego wewnętrzny model AI samodzielnie znalazł rozwiązanie, a zewnętrzni matematycy potwierdzili jego poprawność.
› Problem, który opierał się najlepszym Planarny problem jednostkowej odległości brzmi prosto: na dwuwymiarowej płaszczyźnie chcemy umieścić jak najwięcej par punktów odległych od siebie o dokładnie 1.