logoalt Hacker News

vatsachak • today at 12:12 AM • 1 reply • view on HN

Yeah computer proof writing involves choosing good abstractions at every turn. LLMs aren't great at that yet

Replies

p-e-w • today at 1:21 AM

That’s true, they’re not great at it. Just better than 99.99% of humans.

➕ show 1 reply