@genyrational The finding-machines part is easy; the hard part is producing pr… · @ReignSwords · TwKit

@ReignSwords

@genyrational The finding-machines part is easy; the hard part is producing proofs that actually verify. BB feels like the perfect agentic benchmark though — wonder how much of this transfers to other open problems vs being a one-off combinatorial search thing.

曝光 12 · 评论 0 · 点赞 0 · 书签 0