С минимальным участием людей. ChatGPT впервые помог доказать неразрешимую геометрическую гипотезу

Исследователи из Свободного университета Брюсселя сообщили, что модель ChatGPT-5.2 смогла помочь доказать математическую гипотезу по геометрии, которая ранее не имела формального доказательства. ИИ создал структуру доказательства, а люди проверили правильность рассуждений.

Go to News Site