All ideasMore in Hobbies
Hobbies

GPT built a searchable catalogue of more than 700 mathematics preprints

When OpenAI released more than 700 mathematical preprints, a researcher wanted to search inside them, including proofs and bibliographies. With GPT-6 Astra he built a searchable catalogue that organises the papers by research area with clickable keywords, full text search, links to the originals, and each paper's Lean formalization status, and he put it on his website for public use.

How it works

  1. He collects the released preprints
  2. With GPT-6 Astra he builds a catalogue organised by research area
  3. It adds clickable keywords, full text search, and formalization status per paper
  4. He publishes it on his website

Why it’s worth knowing

A one person side project turned a raw preprint dump into a public research tool with full text search over proofs and bibliographies.

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

HobbiesThe AI built its own mail app in 23 minutesHobbiesFill and submit UK master’s applications from one master fileHobbiesI cut my bots' wakeups from about 300 a week to about 140HobbiesMigrate my old MacBook onto my new Mac mini while I do other things2 hours saved

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.