All ideasMore in Hobbies
Hobbies

The AI wrote the Lean proof from the published paper

A researcher wrote the Lean statement of a theorem himself, then fed the published paper to the AI and had it write the proof. It finished in a couple of hours, and the Lean kernel verified the proof.

How it works

  1. He writes the Lean code for the statement
  2. He feeds the published paper to the AI
  3. The AI writes the Lean proof in a couple of hours
  4. The Lean kernel verifies the proof

Why it’s worth knowing

The agent did not help phrase a proof. It read the paper and produced a machine checked proof of a theorem the researcher had only stated.

Where it’s from

Summarized from a public post on academia.stackexchange.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

HobbiesSpark Learned a Writer's Voice From Sent Emails and Saved It as a Reusable SkillHobbiesI cut my bots' wakeups from about 300 a week to about 140HobbiesThe AI searched five years of email and listed my forgotten accountsHobbiesFill and submit UK master’s applications from one master file

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.