哲学是（暂时）无法严格验证前科学，用更通俗的话说就是科学研究的想法或（先验）假设。

现在的大模型很擅长生成这类似是而非的想法和假设，几秒钟就能生成一大堆。不过，质量良莠不齐，大多数不怎么靠谱，水平可能只比哈特儿强点儿吧。

所以，在大模型时代，只能产出想法和假设，但没能力以必要的数学成熟性和可操作性将其形式化并实证人很快就会被淘汰掉，因为这类人比经常产生幻觉的大模型更不靠谱。相反，有形式数学的构造能力，可以构造新颖深刻的形式数学体系的人，或者思维严谨能快速从一大堆假设和想法中去伪存真的人，都会变得更有价值。因为这些事都是大模型不擅长的。
--
FROM 111.167.209.*