Почему я по-прежнему скептичен насчет LLM даже после Navier-Stokes
Why I'm still bearish on LLMs after Navier-Stokes
Автор утверждает, что LLM не заменят большинство работников умственного труда, несмотря на громкие успехи вроде доказательства Navier-Stokes. Причина — структурная: модели требуют строгой формальной спецификации или человеческого надзора, а это дорого и не масштабируется. Автор выделяет лишь три класса фирм, способных использовать полностью автономные LLM, и прогнозирует рост открытых дешевых моделей с широкими агентными роями.
даже lean и теоремы, подобные ему, не неуязвимы: ошибки корректности позволяли LLM отмывать поддельные доказательства через ядро проверки, и не исключено, что существуют другие подобные баги.