开发者 monotykamary 押注无需 LLM 的通用 autoprover

开发者 monotykamary 宣称正投入自己能弄到的所有资金，研发无需 LLM 生成证明的通用 autoprover，以从构造层面消除一整类 bug。该项目目前仅有个人宣言，尚无技术细节或演示，目标是让形式化方法成为可按构造消除软件缺陷的通用工具。