Ускоряем научные открытия

“Нет никаких сомнений, что решение задачи о единичных расстояниях — это веха в математике ИИ: если бы статью написал человек и отправил в Annals of Mathematics, а меня попросили бы быстро высказать мнение, я бы без малейших колебаний рекомендовал принять ее. Ни одно предыдущее доказательство, созданное ИИ, даже близко к этому не подошло.”

“Цепочка рассуждений модели чрезвычайно интересна. Примечательно, что значительная часть цепочки рассуждений посвящена попыткам построить контрпример к широко принятой верхней границе, а не попыткам ее доказать. Это указывает на то, что модель обладает некоторым сочетанием хорошей интуиции, готовности пробовать подходы, считающиеся сообществом малоперспективными, и склонности пытаться строить конструкции.… По моему мнению, эта статья показывает, что современные модели ИИ уже не просто помогают математикам — они способны выдвигать оригинальные и изобретательные идеи, а затем доводить их до результата.”

“Это действительно выдающаяся работа, и я без колебаний принял бы ее в любой научный журнал. Я и сам некоторое время занимался этой задачей и пытался построить контрпример, но так и не смог продвинуться дальше… Даже если понимаешь, как устроена эта конструкция, разобраться в ней все равно непросто, а самостоятельно прийти к ней — еще труднее.”