It also shows that for technical things, human first and AI second pass is productive. But then the AI gets the credit.
It's better than AI first and than human oversight. Because AI works more like a lossy compression alg than people realize. You can use it to lossy compress your errors out. So if a human basically has the work done, but not in a form that will pass LEAN (proof checker program), then AI can compress down all the work into something that does work (after it trail and errors LEAN with 10,000 agents because LEAN is too exacting for it to get in a single go).
Log in
AI eats information and shits out a solution.
It also shows that for technical things, human first and AI second pass is productive. But then the AI gets the credit.
It's better than AI first and than human oversight. Because AI works more like a lossy compression alg than people realize. You can use it to lossy compress your errors out. So if a human basically has the work done, but not in a form that will pass LEAN (proof checker program), then AI can compress down all the work into something that does work (after it trail and errors LEAN with 10,000 agents because LEAN is too exacting for it to get in a single go).
AI material can't be copyrighted, but human material can be, and AI scrapers don't care.