{"id":49063710,"user":"vatsachak","time":1785111165,"time_ago":"19 hours ago","type":"comment","content":"

Yeah computer proof writing involves choosing good abstractions at every turn. LLMs aren't great at that yet","comments":[{"id":49064135,"user":"p-e-w","time":1785115289,"time_ago":"17 hours ago","type":"comment","content":"

That’s true, they’re not great at it. Just better than 99.99% of humans.","comments":[{"id":49064684,"user":"slopinthebag","time":1785120646,"time_ago":"16 hours ago","type":"comment","content":"

Source?","comments":[{"id":49064998,"user":"p-e-w","time":1785124042,"time_ago":"15 hours ago","type":"comment","content":"

The fact that 99.99% of humans have never used a formal theorem prover?","comments":[{"id":49065081,"user":"vatsachak","time":1785124994,"time_ago":"15 hours ago","type":"comment","content":"

Worse than 0.01% of humans means that there are 8,000,000 people better than it. I know that's being pedantic I understand what you're saying.

But every time I use Codex unless I specifically give it the abstractions it writes code that is way too specific.","comments":[{"id":49065307,"user":"DavidSJ","time":1785127826,"time_ago":"14 hours ago","type":"comment","content":"

> Worse than 0.01% of humans means that there are 8,000,000 people better than it. I know that's being pedantic I understand what you're saying.

Since we're being pedantic, it means that there are (approximately) 800,000 people better than it. ;)","comments":[{"id":49070703,"user":"vatsachak","time":1785164618,"time_ago":"4 hours ago","type":"comment","content":"

You're right, forgot a factor of 10 whoops","comments":[],"comments_count":0,"level":5,"url":"item?id=49070703"}],"comments_count":1,"level":4,"url":"item?id=49065307"}],"comments_count":2,"level":3,"url":"item?id=49065081"},{"id":49065047,"user":"slopinthebag","time":1785124583,"time_ago":"15 hours ago","type":"comment","content":"

How do we know if they’re better or not if they haven’t used one?","comments":[],"comments_count":0,"level":3,"url":"item?id=49065047"}],"comments_count":4,"level":2,"url":"item?id=49064998"}],"comments_count":5,"level":1,"url":"item?id=49064684"}],"comments_count":6,"level":0,"url":"item?id=49064135"}],"comments_count":7,"url":"item?id=49063710"}

Comment by vatsachak