who’s building conjecturebench
BabyAGI creator Yohei Nakajima asks who is building Conjecturebench
Emad Mostaque replied that Erdos previously built a similar project
835214.9K
Original post unavailable.
Sentiment
Many users support Yohei Nakajima seeking builders for Conjecturebench because they value its no-web and unsolved-at-release constraints as leakage controls and offer to connect relevant founders.
Pos
100.0%
Neg
0.0%
2 comments with sentiment.
Cluster Engagement
Digg Deeper
No Digg Deeper questions have been answered for this story yet.
Posts from X
Most Activity
Most Activity
VIEWS4.3KBOOKMARKS1LIKES32REPLIES8
submit prompt + model (no web) + conjecture (must be unsolved at the time of model release)
@yoheinakajima I believe erdos did something similar a while back
who’s building conjecturebench
@p_naix @yoheinakajima i don't know what this is, but ofc
@yoheinakajima don't know who's building that specifically, but I know a neurosymbolic reasoning founder who literally just published a validity audit on benchmarks - might be worth a chat, want an intro? https://x.com/messages/compose?recipient_id=1766194375044804608&text=intro+to+the+neurosymbolic+reasoning+founder+doing+benchmark+validity+work
@yoheinakajima The no-web + unsolved-at-release constraints are useful leakage controls. Could ConjectureBench also log the verifier, failed attempts, and whether nearby lemmas were known? A counterexample needs one checkable witness; a proof needs broader coverage.
@yoheinakajima is it possible to see more of bluxel? I want to implement it for daily task if possible? @yoheinakajima