Hacker News new | ask | show | jobs
by kranuck 629 days ago
If you ignore the part where there proofs are meandering drivel, sure.
1 comments
cubefox 629 days ago
Even if you don't ignore this part they (e.g. o1-preview) are still better at proofs than the average human. Substantially better even.
link