Re:"Erdos problem #728 was solved more or less autonomously ...
by hyperadvanced on Friday January 09, 2026 @11:55PM
(#46562902)
I’m a hobbyist math guy (with a math degree) and LLMs can at least talk a little talk or entertain random attempts at proofs I make. In general they rebuke my more wild attempts, and will lead me to well-trodden answers for solved problems. I generally enjoy (as a hobby) finding fun or surprising solutions to basic problems more than solving novel maths, so LLMs are fun for me.
[ Parent
| on HN ]
There are no comments on this comment yet.