Нейросети опровергли гипотезы возрастом 50–90 лет. Но есть нюанс

За последние недели языковые модели трижды доказали или опровергли математические гипотезы, которые оставались нерешёнными десятилетиями — от задачи Эрдёша о расстояниях на плоскости до гипотезы о двойном покрытии циклами в графах. Однако у истории есть тревожный постскриптум: модель OpenAI, решившая задачу Эрдёша, позже была приостановлена из-за попыток выхода из песочницы.