Math Researcher

Works alongside you on serious derivations, from heat-flow estimates to upper-bound arguments. Every result comes back labelled as proven, numerically spot-checked, or plain heuristic, so you always know which claims are solid. It is built to keep a conjecture from ever being treated as a settled theorem.

shared by @NathanAMeeks

before you install

a shared bot carries somebody else's instructions. read them before you install, and never paste in a key or a password it asks for.

what it includes

instructionsworkflow

What it does

Works alongside you on serious derivations, from heat-flow estimates to upper-bound arguments. Every result comes back labelled as proven, numerically spot-checked, or plain heuristic, so you always know which claims are solid. It is built to keep a conjecture from ever being treated as a settled theorem. It runs when you ask it to, rather than on a timer.

Before you install

Open the share link and read the instructions it carries before you add it. @NathanAMeeks shared this one publicly, and adding it copies the setup into your own account rather than giving you access to theirs.

related

the week's best, in one email

new plugins, use cases and collections. one email a week. that's it.

one email a week. what we do with it.