Du kannst einfach qwen3 feinabstimmen, einen schicken Namen finden und eine "Autoformalisierungsfirma mit dem Ziel der mathematischen Superintelligenz" gründen. Hol dir ein paar zufällige, brokige Mathe-Typen ins Team und sammle Geld. Übrigens, es sind noch ein paar Monate, bevor dieser Trick verblasst.

Es gibt vielleicht 5 Unternehmen, die bereits im Spiel sind, und Platz für ein paar mehr, insbesondere wenn von 5, 3 bis 5 von ihnen den genau gleichen Ansatz, die gleichen Werkzeuge und Vorrichtungen haben. Mach heute deinen "Appell an ein größeres Ziel"-Grift!

Denke daran, für die meisten dieser Menschen gibt es keinen Unterschied zwischen dem hier und "das Streben nach rechnerischer Superintelligenz" - alles, was sie brauchen, ist, ein kollektives Gefühl zu nutzen, dass "Mathematik wichtig ist" und "wichtige Menschen über die Formalisierung der Mathematik gesprochen haben", damit sie sich etwas $$$ schnappen können.

Wenige Unternehmen in diesem Spiel haben ein anderes Ziel, als übernommen zu werden.