Evei
One Einstein Every Day
A high-rigor AI research system for attacking the hardest open problems through agents, web evidence, Lean4 checks, and long-running iteration.
Research Console
Mastra agent network + Lean4 + web search
Evei returns a compact thesis, primitives, reasoning path, daily experiment, and falsifier.
Frontier Board
Unsolved problems worth a civilization-scale research loop
mathematics
Riemann Hypothesis
Do all non-trivial zeta zeros lie on the critical line?
Equivalent forms
Lean lemma ladder
Prime-error barriers
Lagarias/Robin formalization map