Puedes simplemente afinar QWEN3, encontrar un nombre elegante y abrir una "empresa de autoformalización que busca superinteligencia matemática" y conseguir que algunos matemáticos de brokie se unan al equipo y recaudar fondos, por cierto, todavía quedan un par de meses antes de que este truco se desvanezca

Quizá ya haya 5 empresas en el juego y espacio para un par más, especialmente cuando de 5, 3 o 5 tienen exactamente el mismo enfoque, herramientas y arneses ¡Haz tu estafa de "Apelación a un Mayor Objetivo" hoy mismo!

Recuerda, para la mayoría de estas personas no hay diferencia entre esto y "aspirar a la superinteligencia contable": solo necesitan aprovechar la sensación colectiva de que "las matemáticas son importantes" y "la gente importante ha hablado de formalizar las matemáticas" para poder sacar algo de dinero

Pocas son las empresas de ese juego que tengan otro objetivo que no sea ser adquiridas