429 new ideas this week

Level up how you use AI

Real things everyday people got it to do, and how to try them yourself.

Shuffle again

A random mix from the whole library. Shuffle for a new set.

HobbiesPartly worked

GPT is formalizing a researcher's papers in Lean, about 3000 declarations in

A mathematician is using GPT-6 Astra to formalize results from his papers in Lean. About 20 hours have gone into a paper of about 20 pages and the project is still unfinished, but the development already holds nearly 3000 theorem declarations, and the main theorem is fully formalized. Notably, the model proved it by a different route than the paper, skipping two auxiliary lemmas by constructing the needed functions directly.

This only partly worked. Worth knowing before you try it.

Scan and categorise my Instagram DMs every morning

Agency owner Rui Fu (someone, 253K followers) demonstrates the daily system he shows for the AI: an 8 AM scan of the last 24 hours of Instagram DMs, categorised into brand partnerships, collaboration requests, fan messages and spam so he wakes up to only the important ones. The tutorial also shows an auto-reply rule for guide inquiries and offers his prompt guide in exchange for comments.

My podcast episode was edited mostly by my AI agent

He has edited his podcast Rebuild by hand for years, and nearly everything after importing the recordings was manual. For the latest episode, the AI reverse engineered Logic Pro's ProjectData file so the editing could be automated, and the agent did most of the edit.

Show 10 more

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.