Більші моделі ≠ більше довіри. Насправді, більші моделі ускладнюють перевірку. Нові архітектури + розподілене доведення роблять можливим перевірені висновки навіть для моделей зору виробничого рівня.