All ideasMore in Hobbies
Hobbies

The AI searched, ran verification code, and helped prove a triangulation result

A researcher used AI and the AI Fable 5.1 to search for examples, write and run verification code, develop and check the proofs, and draft the paper for a triangulation problem. The result settles the value at 5 for every n from 9 up, with coordinates and edge lists published in a repository. He checked the argument himself; the paper is not yet refereed.

How it works

  1. The AI models search for examples
  2. The AI writes and runs verification code over a known order type database
  3. The construction and lower bound come together
  4. The AI helps develop and check the proof and draft the paper
  5. He checks the argument himself and posts it with a data repository

Why it’s worth knowing

The models did the searching, the checking code, and part of the proof work on a genuine open problem, with the human as verifier.

Where it’s from

Summarized from a public post on mathoverflow.net. 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

HobbiesFill and submit UK master’s applications from one master fileHobbiesThe AI built its own mail app in 23 minutesHobbiesI built a set of scheduled skills that run my money, shopping and calendarHobbiesThe AI bought his concert ticket and put it on his 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.