News for hackers. Stuff that matters.

A comment on I Am Tired of AI. Parent comment

Re:I Am Tired of AI by kranuck on Friday September 27, 2024 @10:45PM (#41677487)
If you ignore the part where there proofs are meandering drivel, sure.
[ Parent | on HN ]
Re:I Am Tired of AI by cubefox on Saturday September 28, 2024 @05:17AM (#41679047)
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.
[ Parent | on HN ]