All ideasMore in Hobbies
Hobbies

A 6-agent swarm produced a new maths proof, verified, that experts confirm is novel

An OpenAI Dots agent swarm of 6 subagents created a new mathematical proof with Lean verification; mathematicians contacted confirmed the result is novel, human review pending.

This only partly worked. Read what happened before you try it.

How it works

  1. A swarm of 6 subagents creates a new mathematical proof
  2. With formal verification
  3. Mathematicians he contacted confirm the result is novel

Why it’s worth knowing

Verified and novel is the double claim maths rarely grants machines.

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

HobbiesThe AI searched five years of email and listed my forgotten accountsHobbiesMy smart ring sends voice notes to the AI, and the AI sorts my dayHobbiesMigrate my old MacBook onto my new Mac mini while I do other things2 hours savedHobbiesI let the AI log in and fix my messy reading data. Ten minutes later it was in sync.

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.