你可以只需微調 qwen3，找個花哨的名字，開一家「旨在實現數學超智能的自動形式化公司」，然後找一些隨便的數學小子來當員工，籌集資金。順便說一下，這個把戲還有幾個月的時間才會消失。

目前可能已經有5家公司在這個領域中，還有幾個名額，特別是當5家公司中有3到5家採用完全相同的方法、工具和裝置時。 今天就開始你的「訴諸更高目標」的詐騙吧！

記住，對於這些人來說，這和「追求會計超智能」沒有什麼區別——他們所需要的只是騎著一種集體感覺，認為「數學很重要」以及「重要的人談論過數學的形式化」，這樣他們就可以抓住一些 $$$

在這個遊戲中，少數公司有其他目標，而不是被收購。