News for hackers. Stuff that matters.

A comment on AHM Statement on OpenAI's October 6 Release of Mathematical Documents. Parent comment

Re:AHM Statement on OpenAI's October 6 Release of Mathematic... by aurareturn on Thursday October 08, 2026 @08:57AM (#50005295)
But in mathematics, there is a clear right or wrong. In coding, there really isn't.
[ Parent | on HN ]
Re:AHM Statement on OpenAI's October 6 Release of Mathematic... by _aavaa_ on Thursday October 08, 2026 @09:17AM (#50005474)
You’re talking about whether something can be verified. I’m talking about the mental DDOS releasing work like this creates

The navier stokes paper is 166 pages long and the lean code is over 500 kloc. Nothing about that is “clear”. Someone has to real ALL of that to see if the proof is clearly right or wrong.

[ Parent | on HN ]
Re:AHM Statement on OpenAI's October 6 Release of Mathematic... by aurareturn on Thursday October 08, 2026 @10:43AM (#50006401)
You can choose to ignore all the PRs, just like mathematicians can choose to ignore all the released papers.
[ Parent | on HN ]
Re:AHM Statement on OpenAI's October 6 Release of Mathematic... by mainecoder on Thursday October 08, 2026 @05:18PM (#50012441)
the right may not be clear sometimes but the wrong definitely is
[ Parent | on HN ]
Re:AHM Statement on OpenAI's October 6 Release of Mathematic... by gfrecvh on Thursday October 08, 2026 @09:34PM (#50014900)
Interestingly, maths isn't really like that.
[ Parent | on HN ]