Comment on Formalization of the Solution to the Hopf ProblemparentComments−glimshe11dI understand the spirit of what you're saying, but "unassisted humans" isn't a good yardstick. There's hardly anything "unassisted" humans understand today... We require plenty of assistance from computer tools in most scientific discoveries.−VMG11dfair, but we are approaching the point where it gets difficult to tell where the human still is involvedfor all intents an purposes, the paper as well as the lean repo could be full LLM output with zero human involvement
Comments
I understand the spirit of what you're saying, but "unassisted humans" isn't a good yardstick. There's hardly anything "unassisted" humans understand today... We require plenty of assistance from computer tools in most scientific discoveries.
fair, but we are approaching the point where it gets difficult to tell where the human still is involved
for all intents an purposes, the paper as well as the lean repo could be full LLM output with zero human involvement