2. Linux.do
  3. LLM 可以发现基于 bug 的伪证吗居然

LLM 可以发现基于 bug 的伪证吗居然

🐟 2026-07-30 16:41 1


《基于 设计 bug 的证明过程》

最新回复 (3)
  • 🐟 楼主 07-30 16:48
    1楼




    还有 bug

  • 量子Bug 07-31 00:45
    2楼

    坏了，定理证明器本身没有被形式化验证的问题终于从预想变为现实了^-^


    看来以后人类的检查仍然在很长一段时间被需要。

  • blacksein 07-31 01:11
    3楼

    我想起了某学校百米成绩破记录 然后一看100m跑道其实只有80m

    不是能力强 是有bug。。。

* 帖子来源Linux.do
附近帖子
返回
飞读
随机推荐