Способность искусственного интеллекта решать сложные математические задачи становится одним из способов демонстрации возможностей новых моделей. Однако группа ведущих математиков мира считает, что получение правильного ответа или даже формально корректного доказательства — лишь часть настоящего исследования.
В математике важен не только конечный результат, но и метод, который к нему приводит. Новое доказательство может обнаружить неожиданные связи между разными областями, породить полезные инструменты и спустя годы стать основой для дальнейших исследований. Для этого работу необходимо проверить, обсудить, упростить и связать с уже накопленными знаниями.
Авторы открытого письма опасаются, что современные ИИ-системы способны нарушить этот процесс. Модель может быстро выдать огромное и сложное доказательство, однако математикам все равно придется потратить значительное время на его проверку и выяснение того, какие идеи действительно являются новыми и почему полученный результат работает.
Дополнительной проблемой становится авторство. ИИ может строить решение на основе десятилетий опубликованных исследований, поэтому провести границу между известными методами, их необычной комбинацией и действительно новым математическим открытием становится значительно сложнее.
Ситуацию усугубляет конкуренция крупнейших ИИ-компаний. Современные лаборатории способны направлять огромные вычислительные ресурсы на задачи, над которыми математики традиционно могли работать годами. Ученые опасаются, что это даже способно навредить культуре открытого обмена знаниями: исследователи могут начать осторожнее делиться еще не опубликованными идеями, если существует вероятность их использования для очередного громкого результата ИИ.
При этом авторы обращения не выступают против искусственного интеллекта как инструмента. Они признают, что ИИ способен ускорять исследования и помогать в решении чрезвычайно сложных задач. Основное требование заключается в том, чтобы скорость получения результата не становилась важнее его проверки, понимания происхождения идей и интеграции новых методов в математическую науку.
Спор становится особенно актуальным на фоне все более амбициозных заявлений ИИ-лабораторий о математических открытиях. Некоторые из таких результатов еще проходят независимую проверку, показывая, насколько большой разрыв может существовать между получением потенциального решения и его полноценным признанием научным сообществом.
