Você pode simplesmente afinar o QWEN3, encontrar um nome chique e abrir uma "empresa de autoformalização mirando superinteligência matemática" e colocar alguns caras aleatórios de matemática na equipe e arrecadar dinheiro, aliás, ainda faltam alguns meses para esse truque desaparecer

Já há talvez 5 empresas no mercado e espaço para mais algumas, especialmente quando de 5, 3 a 5 delas têm exatamente a mesma abordagem, ferramentas e arreios Aproveite hoje mesmo seu esquema de "Apelar para um Objetivo Maior"!

Lembre-se, para a maioria dessas pessoas não há diferença entre isso e "mirar para superinteligência contábil" – tudo o que precisam é de se apoiar em algum sentimento coletivo de que "a matemática é importante" e "pessoas importantes já falaram sobre formalização da matemática" para conseguir algum dinheiro

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