Математики обвинили OpenAI в подмене научной работы демонстрацией власти
Ассоциация за человеческую математику заявила, что публикация более 700 файлов нарушает нормы исследований и не равна научной работе
Ассоциация призвала математиков прекратить сотрудничество с OpenAI и вернуть человеческое понимание в центр исследований
OpenAI публикует формализации части доказательств в Lean, но качество остальных рукописей еще предстоит независимо проверить
Почему важно
Когда генерация доказательств дешевеет быстрее их проверки, научным сообществам приходится заново определять процедуры доверия и признания