All ideasMore in Hobbies
Hobbies

LLMs audit claimed maths solutions for him and have already killed 6 faulty proofs

Runs LLMs to audit the math in claimed arXiv solutions for his ranked open-problems list; audits already found six faulty proofs that had caused problems to be wrongly marked resolved.

How it works

  1. He runs LLMs to audit the maths in claimed solutions for his ranked open-problems list
  2. The audits have already found six faulty proofs that had caused problems to be wrongly marked solved

Why it’s worth knowing

Wrongly solved is a quiet corruption; the audit is the cure.

Where it’s from

Summarized from a public post on news.ycombinator.com. 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

HobbiesLaid off on Tuesday. The AI shipped my game by breakfast on Wednesday.HobbiesMy agent is counting all 77,000 stories in my Instagram story archiveHobbiesThe AI searched five years of email and listed my forgotten accountsHobbiesI built a set of scheduled skills that run my money, shopping and calendar

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.