Comment on Formalization of the Solution to the Hopf ProblemparentComments−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
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