Модель OpenAI спростовує 80-річну гіпотезу Ердоша, досягаючи пар одиничних відстаней у кількості n^(1+δ)

За повідомленням Beating, загальна міркувальна модель OpenAI скасувала гіпотезу про відстань одиниці, запропоновану Ердошем у 1946 році. Класична гіпотеза стверджувала, що кількість пар точок на площині на відстані одиниці не перевищуватиме істотно n^(1+o(1)); однак нова конструкція множини точок від моделі дає n^(1+δ) пар, де δ — додатна константа, тим самим порушуючи верхню межу, збережену протягом майже 80 років.

Модель завершила це доведення без спеціалізованих систем математики чи кастомізованих інструментів. Зовнішні математики, зокрема Нога Алон, Тім Ґауерс і Арул Шанкар, перевірили оригінальне доведення та опублікували підтримувальну статтю на arXiv, підтвердивши, що виведення використовує передові техніки з алгебраїчної теорії чисел.