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)
Response Depth
Progressive (simple to Lean)
Simple intuition
Standard proof sketch
Advanced technical
Lean formalization
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