Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

What a timeline, OpenAI's model is so good, it publishes hundreds of math papers.

The latest model even finds mistakes in previously published math papers!!!*

* so far, only OpenAI's math papers were faulty and needed retraction.



LLMs find flaws in human-published math papers _all the time_, usually in the process of formalizing them in lean.


Humans are not being sold as the panacea to all the world problems currently.


I look forward to OpenAI reviewing all papers in the field.

It'll be a good test to separate those earnestly trying to advance human knowledge, from those wasting my tax dollars. The later group ought to be publicly shamed and ridiculed without mercy. We need a more invective word than 'pseudo-intellectual.'


> We need a more invective word than 'pseudo-intellectual.'

Here's one: 'AI-Bro'




Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: