News for hackers. Stuff that matters.

A comment on An internal OpenAI Astra model solved 10 major open math and CS problems. Parent comment

Re:An internal OpenAI Astra model solved 10 major open math ... by sajithdilshan on Sunday August 02, 2026 @09:07AM (#49144302)
I mean once they release the proof you can check the maths yourself and I’m pretty sure it would be peer verified as well.
[ Parent | on HN ]

There are no comments on this comment yet.