20 май 2026 г.
AI пробив: Модел на OpenAI опроверга 80-годишна математическа хипотеза
OpenAI обяви историческо постижение в областта на математиката: техен нов модел за разсъждение самостоятелно опроверга една от централните хипотези в дискретната геометрия – проблема за единичните разстояния в равнината, формулиран от Пал Ердьош през 1946 г. [1]. Това е първият случай, в който общоцелеви изкуствен интелект решава значим отворен проблем в математиката без човешка намеса в процеса на доказване.
Проблемът на Ердьош се отнася до максималния брой двойки точки на разстояние единица в набор от $n$ точки. Дълго време се смяташе, че този брой следва определена горна граница, но моделът на OpenAI успя да конструира безкрайно семейство от примери (контрапримери), които подобряват този лимит, доказвайки, че съществуват конфигурации с много повече единични разстояния [1].

