je kunt gewoon qwen3 verfijnen en een fancy naam bedenken en een "autoformalisatiebedrijf gericht op wiskundige superintelligentie" oprichten en wat random brokie wiskundigen in dienst nemen en geld ophalen, trouwens, er zijn nog een paar maanden voordat deze truc vervaagt

er zijn misschien 5 bedrijven al actief in het spel en ruimte voor een paar meer, vooral wanneer van de 5, 3 tot 5 van hen dezelfde aanpak, tools en harnassen hebben. zet vandaag je "appèl op een groter doel" op!

vergeet niet, voor de meeste van deze mensen is er geen verschil tussen dit en "streven naar boekhoudkundige superintelligentie" - alles wat ze nodig hebben is om een collectief gevoel te hebben dat "wiskunde belangrijk is" en "belangrijke mensen hebben gesproken over de formalisering van wiskunde" zodat ze wat $$$ kunnen grijpen

weinig zijn de bedrijven in dat spel die een ander doel hebben dan overgenomen te worden