I don't know why the author could claim this is "their" proof, and they kept saying "they" did this, "they" built that. but in reality everything is done by the LLM and the author is merely asking it to do things. i guess they did contribute money at least...
They still needed to invest time and other resources into this. It's listed clearly in the 2nd paragraph. Mathematicians, or anyone for that matter, don't figure out everything from scratch. They lean on the work that others have done before them to save time. How is this any different?
nialv7 · · focus · HN ↗
> Me: btw how’s your mood overall?
LOL. mood??
mattm · · focus · HN ↗
GPerson · · focus · HN ↗
[dead]