>be me
>mathematician
>trying to solve one of the hardest problems in the field, million dollar prize on it
>grind it for a year
>every draft, idea, and dead-end goes into a hosted AI coding tool
>paying for it out of my own research funds
>bill is enormous
>August 2026, finally crack it
>rumour starts going round that someone solved a major open problem
>rumour is about me
>days later the AI company hosting all my drafts tells me its internal model has produced a 100 page proof
>it solved the same problem
>it took the same route
>a route nobody else on earth was working on
>suspicious.mp3
>ask whether my sessions were used for training
>"the model does not look up user data"
>huh?
>ask again
>silence
>mfw should've used Lumo