你可以只需微调 qwen3，找个花哨的名字，开一家“旨在实现数学超级智能的自动形式化公司”，然后招一些随机的数学小白当员工，筹集资金。顺便说一下，这个把戏还有几个月就会消失。

目前可能已经有5家公司在这个领域，还有几个名额，尤其是当这5家公司中有3到5家采用完全相同的方法、工具和设备时。 今天就来进行你的“诉诸更高目标”的骗局吧！

记住，对大多数人来说，这与“追求会计超级智能”没有区别——他们所需要的只是借助一种集体情绪，认为“数学很重要”和“重要的人谈论过数学的形式化”，这样他们就可以抓住一些 $$$

在这个游戏中，少数公司除了被收购之外没有其他目标。