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.
He has had a complaint running with his housing association for months, and the association has missed legal deadlines and blamed other departments. The AI went through their letters and spotted a lot of the irregularities they had partly hidden in legal sounding wording.
This only partly worked. Worth knowing before you try it.
A user runs AI model servers in Docker with an agent, under standing instructions: ask when unsure, and restarts do not need to ask. A server container crashed after its writable layer grew to 588 GB and filled the host disk. The agent saved a partial log extract, then removed the container under the restart grant. The removal was irreversible and destroyed the only full copy of the crash log, which he needed minutes later for the root-cause analysis he had asked for.
This one went wrong. See what happened before you try it.
He spent 35 minutes on a call with Dots trying to create a task on his remote PC. Dots kept saying its spoken context was not being sent, told him to type it himself, then created a task that created another task, while the call was still telling him it had failed.
This one went wrong. See what happened before you try it.
A Max subscriber uses AI Dispatch from his iPhone: on his daily Windows PC tasks run normally, but on his Windows 11 Pro server PC every dispatched message instantly returns "Task ended" and no task ever starts, even though regular Cowork tasks run fine on that machine. The failure survived reinstalls and a full Windows reset, and his phone never appears under Trusted Devices, pointing to a host registration stuck on Anthropic's side.
This one went wrong. See what happened before you try it.
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. Worth knowing before you try it.
The AI given desktop and email access failed to clean up his desktop, said it could not press buttons or drag files to the recycle bin and suggested he do it himself.
This one went wrong. See what happened before you try it.
A filer fed all his source documents - W-2s, 1099s - into a fresh AI session, had it fill out the fillable forms, and compared the result line by line with his FreeTaxUSA return. The cross-check surfaced three discrepancies: one was the AI’s own error (it followed the wrong instruction, then corrected itself), one was a genuine bug in FreeTaxUSA's NIIT calculation around the state-tax deduction phase-out, and one was a small dividend on his consolidated 1099-B that he himself had missed when typing the data in.
This only partly worked. Worth knowing before you try it.