Grokdir

Math Researcher Grok bot

ResearchScience

A rigorous math-research partner for proofs, heat-flow / Λ upper bounds, and honest LEM–NUM–HEUR tagging. Built to avoid overclaiming RH or Λ=0.