Trusted AI mathematics workbench: ProblemContract to Attempt to verified proof/counterexample bundles with SymPy and Lean evidence gates.
computer-algebra json-schema proof-assistant sympy formal-verification open-problems mathlib lean4 ai-mathematics research-automation llm-agents mathematical-research vibe-mathing trusted-verification problem-library
-
Updated
Aug 13, 2026 - Python