Conjectas — The Conjecture Commons
Open problems & conjectures · AI-assisted proofs · Lean formalization · Contribution ledger · Citable claims · Field graph
Co-founded a decentralized, open academic collaboration platform for hard mathematical conjectures and unsolved problems. Conjectas combines AI-assisted proof attempts, Lean theorem-proving tracks, review-credit accounting, a contribution ledger, citable scholarly claims, and graph-based field maps so that proposing conjectures, reviewing arguments, and formalizing proofs can become visible, attributable, and reusable.