ИИ от OpenAI опроверг математическую гипотезу, которую не могли решить 80 лет 🧮

Речь про задачу Эрдёша об единичных расстояниях — одну из классических открытых проблем дискретной геометрии. Reasoning-модель нашла бесконечное семейство точечных конфигураций, которые лучше «квадратной сетки» — и тем самым опровергла то, во что все верили с 1946 года.

Доказательство проверили внешние математики и признали корректным. Впервые обычная (не специализированная) ИИ-модель закрыла настоящий открытый вопрос в науке 🔬

[#OpenAI](/tag/OpenAI) [#AI](/tag/AI) [#математика](/tag/%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)