All ideasMore in Work
Work

The AI found mistakes in a math paper that reviewers missed

He gave the AI a paper and its Lean proofs. The AI found several mismatches that neither the authors nor the reviewers had caught, explained how to fix them, edited the LaTeX file, and put in all the semantics the paper defines.

How it works

  1. Hands the AI the paper and the Lean proofs
  2. The AI finds mismatches and explains the fixes
  3. The AI edits the LaTeX file and adds the defined semantics

Why it’s worth knowing

The AI caught mismatches in the proofs that the paper's own authors and reviewers had all missed, then fixed the file.

Where it’s from

Summarized from a public post on bsky.app. See the original ↗

Upgraded prompt

A ready-to-use prompt for this idea, built from research on what makes AI agents do the job right: who the AI should be, the exact steps, and a check to make sure it was done the way you wanted.

1Who the AI should be
2The prompt, with the steps
3The check when it’s done
Upgraded prompts are coming soon.

Try next

WorkA contractor talks measurements into his phone and QuickBooks sends the estimate in 45 secondsWorkThe AI audited my eBay store, found 28 listings going nowhere, and sold a bundle for meWorkClose a $10,000 sponsorship deal from my inbox in about four hours$10,000WorkA bookkeeping file sorter over 40 companies logs every move with a hash

Every idea is a real post from someone who tried it, summarized in our words, with a link to the original. App names are swapped for plain words.