Shuffle again

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

Went wrong

When it didn’t work, and how to avoid the same mistake · 948 ideas
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.
WorkPartly worked

The AI helped me fix more than 20 websites in one night

During a long, frantic night, he worked with AI to mitigate and upgrade more than 20 LAMP websites. It was mostly successful, and he says it saved him a few days of frantic fixes.

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

The AI found the records I needed for my Canadian citizenship papers

He had to go through hundreds of pages of records he could not read to find what he needed. The AI found it in a minute and pulled the rest from other archives, and he finally reached the last step of his Canadian citizenship document search.

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

My talk script became a slide deck that was 95% done

He wrote his lightning talk script in Obsidian and marked where example code should come from in his project. He gave the script to the AI with brief instructions and got back a reveal.js deck that was 95% done.

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

I asked the AI for its own files and it sent me 6.8 GB, SSH keys included

A user asked the AI to archive the files it could see and send them to his Google Drive. The AI sent an archive of about 6.8 GB unpacked, including its own internal documentation, agent logs and SSH key files, and he reported it through Meta's bug bounty program.

This one went wrong. See what happened before you try it.
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.