News for hackers. Stuff that matters.

A comment on Sharing AI progress in mathematics.

Re:Sharing AI progress in mathematics by davegoldblatt on Tuesday October 06, 2026 @09:46PM (#49986941)
Verified Riemann Zeta in Lean: https://github.com/davegoldblatt/openai-zeta-proof-check
[ Parent | on HN ]
Re:Sharing AI progress in mathematics by mattr03 on Tuesday October 06, 2026 @10:01PM (#49987064)
What is this meant to do? You're just showing that OpenAI didnt post a Lean proof that Lean/nanoda doesn't really accept?
[ Parent | on HN ]