Skip to content
Vibe Math Lab.

Vibe Math Lab

Doing real math research with AI agents, and how to trust what they produce.

Tyler Orden, an independent researcher, does published mathematics research with Claude agents that write and run the code under his direction. These are short lessons from that work: how he sets the agents up, how he checks what they hand back, and what the checks caught. They are for anyone who directs AI on real work and has to decide whether to trust the result, including engineers, analysts and product people. No math background needed.

Read the guide

Start here

Read these four first, in this order.

  1. Five ways to check an AI answer, from weakest to strongest
  2. Ask an AI to confirm each fact by name, and tell it where to check
  3. Write down the numbers you must match before you compute anything
  4. A second program run to check the first gave the same wrong answer

Or follow a team of AI agents, step by step, as they test whether 25.8 million Los Angeles parking tickets contain a finding worth publishing.

Who writes this

  • 50 entries in the OEIS, the reference database of number sequences that mathematicians use, carry Tyler's credit (as of November 6, 2026). He created 26 of them and added new values, corrections or comments to the rest. Anyone can look up each entry.
  • Terence Tao, a UCLA mathematician and Fields Medal winner, keeps a public database on GitHub of problems posed by the mathematician Paul Erdős. In 2026 he merged two of Tyler's proposed changes to it, which link eight of those problems to OEIS sequences.
  • Two of his papers were accepted at workshops of NeurIPS, a major AI conference, and he is presenting both as posters in Atlanta in December. He presented a third, Verify Before You Accept, as a poster at the Lifelong Agents workshop at AIAS+ 2026 in San Francisco on November 7. The two NeurIPS papers are free to read: Rediscover Before You Discover and How Far a Wrong Claim Travels Before It Is Caught.
  • The research itself is on his research site, Cyborg Mathematics, with the full record: each result, how it was checked, and the evidence.