开发者宣言研发非LLM通用自动证明器
热点事件持续更新
开发者宣言研发非LLM通用自动证明器
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
开发者 monotykamary 宣称投入个人资金，研发不依赖大语言模型生成证明的通用自动证明器，希望从构造层面消除一整类软件缺陷；他同时称，自动求解与形式化验证的自动化已非常接近。 该项目目前只有个人宣言，尚未公布技术细节或演示，因此其可行性及实际效果尚无证据支持。
AI 根据报道生成 · 1 小时前更新
最新进展10月30日 08:25
开发者 monotykamary 押注无需 LLM 的通用 autoprover报道时间线
沿着报道，了解事件的不同侧面。
10月30日
- AGI Hunt开发者 monotykamary 押注无需 LLM 的通用 autoprover
开发者 monotykamary 宣称正投入自己能弄到的所有资金，研发无需 LLM 生成证明的通用 autoprover，以从构造层面消除一整类 bug。该项目目前仅有个人宣言，尚无技术细节或演示，目标是让形式化方法成为可按构造消除软件缺陷的通用工具。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。