Du kan bare finjustere qwen3 og finne et kult navn og åpne et "autoformaliseringsselskap sikter mot matematikksuperintelligens" og få noen tilfeldige brokie-mattefolk på staben og samle inn penger, forresten, det er fortsatt et par måneder før dette trikset forsvinner

Det er kanskje 5 selskaper allerede i bransjen og plass til et par til, spesielt når av 5 har 3 til 5 nøyaktig samme tilnærming, verktøy og seler Få din "appell til større mål"-svindel i dag!

Husk, for de fleste av disse menneskene er det ingen forskjell på dette og «å sikte mot regnskapssuperintelligens» – alt de trenger er å leve på en kollektiv følelse av at «matematikk er viktig» og «viktige personer har snakket om formalisering av matematikk» slik at de kan få tak i litt penger.

Få selskaper i det spillet har noe annet mål enn å bli kjøpt opp