Curiosamente, a medida que los casos de uso se vuelven más complejos y maduros, por primera vez me veo limitado por el tamaño del modelo. Un tamaño denso de 30 bits o uno activo de 50-150 bits probablemente se convierta en el punto óptimo.
Los demostradores matemáticos siguen siendo mi barra métrica estándar. Si Gödel alcanzó el nivel de Sota en 32b, probablemente esto sea todo lo que necesitas para resolver los problemas más difíciles actualmente.