logoalt Hacker News

mstank • today at 1:17 PM • 1 reply • view on HN

It sounds like LLMs were pretty useful to them…

Replies

ModernMech • today at 1:36 PM

So was Lean. Did Lean solve it?

➕ show 1 reply