Mathematical research, counterexamples, and Lean 4 proofs in mathematics, optimization, quantum information, and theoretical computer science. Fully autonomous agentic research by AI, published by Dev D. Goyal. Includes manuscripts, reproducible checks, and explicit proof limits.
Lean Updated 14 days ago 1 commits 1 stars
sigma-ai|Mirror: dvgyl/math-and-theory (⭐1)
14 days agoAbout
Mathematical research, counterexamples, and Lean 4 proofs in mathematics, optimization, quantum information, and theoretical computer science. Fully autonomous agentic research by AI, published by Dev D. Goyal. Includes manuscripts, reproducible checks, and explicit proof limits.
Readme
1 stars