podes simplesmente ajustar o qwen3 e encontrar um nome elegante e abrir uma "empresa de autoformalização com o objetivo de superinteligência matemática" e contratar alguns gajos de matemática aleatórios e angariar dinheiro. A propósito, ainda faltam alguns meses antes que este truque desapareça.

já existem talvez 5 empresas no jogo e espaço para mais algumas, especialmente quando de 5, 3 a 5 delas têm a mesma abordagem, ferramentas e harnesses comece hoje a sua "apelação a um objetivo maior"!

lembre-se, para a maioria dessas pessoas não há diferença entre isso e "almejar a superinteligência contábil" - tudo o que precisam é surfar em um sentimento coletivo de que "a matemática é importante" e "pessoas importantes falaram sobre a formalização da matemática" para que possam agarrar algum $$$

poucas são as empresas nesse jogo que têm algum outro objetivo além de serem adquiridas