Доказательство без понимания: что на самом деле меняет ИИ в математике
Представьте, что вас телепортировали на вершину горы. Вокруг туман, вы не знаете, как сюда попали, какие тропы ведут вниз и что находится за соседним хребтом. Вы стоите на вершине — но в темноте. Именно так один из собеседников Quanta Magazine описал ощущение математиков от доказательств, которые сегодня выдают системы искусственного интеллекта. Ответ есть. Понимания — нет.