State a goal and the bar it has to clear. A panel of up to six AI models works it out; a referee rules on every criterion using cited sources and executed code.
Referee.chat — An AI Panel Works Your Goal, a Referee Rules Referee .chat New match Public Tools Pricing API English Login Sign Up Set the goal. A referee decides when it's done. Models argue it out. A referee rules on evidence, not on who sounded surer. Start a match Set the bar and the panel Proving a mathematical claim? theorem.chat runs the same panel and then formalises the result in Lean against Mathlib, where the kernel decides. a maths question a decision to make a literature question find the flaw The bar it has to clear Careful expert What a competent professional in the field w
State a goal and the bar it has to clear. A panel of up to six AI models works it out; a referee rules on every criterion using cited sources and executed code.
Referee.chat — An AI Panel Works Your Goal, a Referee Rules Referee .chat New match Public Tools Pricing API English Login Sign Up Set the goal. A referee decides when it's done. Models argue it out. A referee rules on evidence, not on who sounded surer. Start a match Set the bar and the panel Proving a mathematical claim? theorem.chat runs the same panel and then formalises the result in Lean against Mathlib, where the kernel decides. a maths question a decision to make a literature question find the flaw The bar it has to clear Careful expert What a competent professional in the field w
