математик David Bessis написал большой пост про вайб-теореминг
если вкратце, то
— AI придумывает доказательства теорем, они даже технически верные
— за что мы ценили математиков раньше, это не только за сам факт доказательства, а за элегантный ход мысли, который стоял за этим
— много кода чести среди математиков строилось на доказывании теорем (но, на самом деле, на хвастовстве вот этим крутым ходом мысли и пониманием сложных штук)
в этом смысле, калькулятор не понимает что он считает, он даёт результат. suno не может прочувствовать музыку, которую генерирует. AI не понимает теоремы, которые доказывает
мне кажется, что цель — это не только получить результат. цель — это понять как он получен, и сделать это понимание частью своего мира, своей ежедневной практики
Кандинский, например, не просто ставил точки и прямые на плоскости. он узнал от физиков что весь мир состоит из простых атомов и связей между ними, и пытался передать всю красоту и сложность этого осознания. за это его и ценим
(substack)
