AlphaGeometry
A geometry-solving system combining model-generated constructions with symbolic deduction. - Developer / Organization: Google DeepMind - Cat…
AI & Academia
Archon (FrenzyMath)
A Lean automation framework that coordinates proof blueprints and parallel proving work. - Developer / Organization: FrenzyMath / Archon tea…
Xean (Chao Xu)
A mathematical research agent that explores problems and checks arguments using persistent notes. - Developer / Organization: Chao Xu and co…
EvE (Evolving Ensemble of Agents)
A scientific discovery framework that co-evolves candidate solutions and the strategies of coding agents. - Developer / Organization: Scient…
synthetic/staging verification: F17 anonymous account flow
Synthetic/staging verification only. This discussion checks anonymous submission, private moderation status, and persistence with a real ver…
AXLE (Axiom Lean Engine)
Axiom Math’s hosted Lean engine for verifying and manipulating formal proofs. - Developer / Organization: Axiom Math - Category: Related res…
AlphaProof
A reinforcement-learning system that searches for formal mathematical proofs in Lean. - Developer / Organization: Google DeepMind - Category…
AxiomProver
Axiom Math’s research system for developing mathematical results with formal Lean proofs. - Developer / Organization: Axiom Math - Category:…
Gauss (Math, Inc.)
An autoformalization agent from Math, Inc. for substantial mathematical proof projects. - Developer / Organization: Math, Inc. - Category: R…
Aristotle
A hosted formal reasoning system from Harmonic that produces machine-checkable verification results. - Developer / Organization: Harmonic -…
AlphaProof Nexus
A research framework combining mathematical agents and Lean-based formal proof search. - Developer / Organization: Google DeepMind; George T…
Hilbert (Apple)
A proving framework linking informal reasoning, recursive problem decomposition and formal verification. - Developer / Organization: Sumanth…
13–24 of 50 discussions