Re:"Erdos problem #728 was solved more or less autonomously ...
by randomizedalgs on Saturday January 10, 2026 @01:13PM
(#46568323)
I'm an active researcher in TCS. For me, AI has not been very helpful on technical things (or even technical writing), but has been super helpful for (1) literature reviews; (2) editing papers (e.g., changing a convention everywhere in the paper); and (3) generating Tikz figures/animations.
[ Parent
| on HN ]
There are no comments on this comment yet.