Dataset Repo
Preferred Model Repo
Fallback Base Model
Conjecture
Erdos-style Sidon set conjecture: every finite Sidon set can be extended to a finite perfect difference set.
Goal Mode
Try to disprove (counterexample search)
Try to support (proof sketch search)
Balanced analysis (both directions)
Always Show Full Work
Rows to Scan
↺
200
6000
Top Evidence Rows
↺
3
25
Max New Tokens
↺
200
2000
Temperature
↺
0
1.2
Run Conjecture Analysis
Work Log (always visible)
Prompt Sent to Model
Lean Verification Stub