Ирокез
Так я ж написал, сходимость-то разностной схемы легко проверяется. Даже математические калькуляторы типа Maple уже лет пятнадцать назад линейную систему из десятка тысяч уравнений на сходимость проверить могли, там же тривиальная математика, никаких нейросетей не надо. А если под рукой есть вычислительный сервер (опять же, безо всяких нейросетей), можно до посинения полученную схему на полиномиальных решениях гонять, там точность проверки к машинной приближается (ну, я про магнитогазодинамику говорю, в первую очередь, там-то в реальных задачах диффуры второй степени в основном). Опять же, можно невязку на эталонных сетках считать, хоть это и дольше из-за необходимости интерполировать решение. Да банально проверка сохранения физических инвариантов в МГД-задачах уже неплохим маркером сходимости является.

Что с физической, что с математической точки зрения задача проверка численного решения от нейросети ничем не отличается от проверки численного решения от математического калькулятора, библиотеки Puython'а или разностной схемы на АЛГОЛе. Это ж буквально точно такая же система матриц, что и в любом другом случае, сходимость которой точно так же нужно проверить вне зависимости от того, каким способом она получена.