孙割搞了个 JustinSunPrize, 这是把数学证明干成 POW 挖矿了

Hconk 2026-09-17 11:17 1

要是能结合链上的智能合约做成自动化检查,验证后自动打款的话就比现在靠谱多了,不确定纯自动化检查验证是否容易被绕过,目前这种人工 Review 的方式感觉有点原始。


已经不少 PR 了,应该全是 Vibe 提交的,还没看到有人真领了奖,不少是已经被证明但是没有被 Lean 形式化验证的问题,Token 多到没处使的可以让你的 AI 去试试,就当买张彩票了。


Github 地址

最新回复 (1)
  • xndeye 09-17 11:22
    1
    熟悉的配方,熟悉的味道
* 帖子来源V2EX
返回