Здравствуйте, JacobR, Вы писали:

JR>Так не понятно (или даже понятно) что проблема в решении/доказательстве мат. проблем как минимум некоторых лежит не в недостаточных вычислительных мощностях, а в отставили мат. аппарата, понимания и пр, и вот тут как раз и видно “кто есть кто” и “понимают ли” нейронные сети контекст или нет. А пока получается так:

Мы ходим по кругу. Понимает ли AZero шахматы? Не в смысле правил, а в смысле стратегий.
Я не к тому, что у нас сейчас есть матаппарат для создания нейронок помогающих доказывать теоремы. От LLM очевидно толку будет мало. Просто для меня не очевидно, что его нельзя создать на каком-то уровне. Школьники доказывают не понимая в деталях теорий логики.