| bregalad пишет: |
| ИИ просто находит решение, которое было уже найдено и опубликовано кем-то, но на решение задачи, пока еще никем не решенной |
Было уже сколько-то математических задач, из "списка Эрдиша", что с помощью GPT решили, которые раньше никем не были решены. При этом кто-то из серьёзных математиков над ними реально думал, хотя понятно, что это не что-то особо престижное.
Но в целом это распознавание шаблонов, подходы к решению одних задач ЛЛМ применяет к другим задачам, комбинирует их, в итоге получает решение. В реальности же 99% всех решений, доказательств, это не что-то новое, а уже существующее, стандартные подходы какие-то.
Я на математике проверял мало, больше для тестов, больше смотрел что они могут в IT задачах. Это, понятно, куда более коммерческая и востребованная по объёмам область. В целом тут нейронки не в состоянии что-то придумать, то есть подход "напиши мне софт для судейства, вот тебе правила" в принципе не сработает. Даже попытки сделать что-то, что хорошо задокументировано и описано, проваливаются. Проектировать надо человеку, задавать рамки, архитектурные подходы, вот если сделать конкретные ТЗ для отдельных задач, придумать как тестировать это, тогда нейронка может эти задачи сделать.
При этом надо работать не в режиме чата, а в режиме агентов, в чате там и 10% возможностей не раскрывается.
