Skip to content
Vibe Math Lab.

About

Who writes Vibe Math Lab, and where the lessons come from

Vibe Math Lab is written by Tyler Orden, an independent researcher. His research is published on his research site, Cyborg Mathematics. It includes new values added to number sequences, computations that extended published tables further than anyone had (for example, for twelve two-player games), and checks of published statistics, each posted with a note of how it was checked.

This site teaches the checking methods from that research to people who use an AI to reach a number and then have to decide whether to believe it.

The main rule: a result counts as finished only after a deliberate attempt to show it is wrong, such as recomputing it another way or comparing it with a published table, has failed to do so.

The research behind the lessons

  • 43 entries in the OEIS carry Tyler's credit, 19 of them as author. The OEIS is the reference database mathematicians use to look up number sequences. The credits are for new sequences, new values for existing ones, corrections and comments, and anyone can check each one by its number.
  • Two papers accepted at NeurIPS 2026 workshops, as posters. NeurIPS is a major AI research conference; the two workshops are MATH-AI and AI-Native Academia. Tyler is presenting both in Atlanta in December. Both papers are free to read: Rediscover Before You Discover and How Far a Wrong Claim Travels Before It Is Caught. See the full research record.
  • Every computed result is checked a second way, usually by a separately written program, and compared with a published value wherever one exists. The published comparison matters because two programs built on the same wrong assumption can agree on the same wrong answer. New values often have no published value yet, and then the second method is the check.
  • Long computations save their progress and are checked to give exactly the same answer after a restart, so an interruption cannot change a result without anyone noticing.
  • A dated public record. Every claim has a source, the method used to check it, and a date. When something turns out to be wrong, it is marked as wrong and a correction is added next to it. Nothing is deleted, so you can see what was believed and when.