Hacker News Reader

snowmobileon Scaling long-running autonomous coding

Well, it doesn't surprise me that this project is just a non-compiling clone of an existing browser. Says a lot about AI in general, don't you think? https://news.ycombinator.com/item?id=46649046

snowmobileon Drones that recharge directly on transmission lines

Well, there's a difference between breaking and being broken. I wouldn't say 33% of all B-17s "didn't work" because they were shot down.

snowmobileon My Home Fibre Network Disintegrated

I only use handmade artisanal networking equipment.

snowmobileon Drones that recharge directly on transmission lines

How do they not work? Just fail in transmitting data completely? Do you have a link to learn more about this?

snowmobileon “Erdos problem #728 was solved more or less autonomously by AI”

Digging through the PDFs on Google Drive, this seems to be (one of) the generated proofs. I may be misunderstanding something, but 1400 lines of AI-generated code seems a very good place for some mistake in the translation to sneak in https://github.com/plby/lean-proofs/blob/main/src/v4.24.0/Er...

Though I suppose if the problem statement in Lean is human-generated and there are no ways to "cheat" in a Lean proof, the proof could be trusted without understanding it