Egoless Mathematics in the AI Era

Re:Egoless Mathematics in the AI Era by nradov on Tuesday November 03, 2026 @01:02AM (#50348608)

If those OpenAI proofs are unpublishable garbage then our concept of publishing has to change. Pure math will probably shift from journals publishing PDFs to individuals (or their agents) posting Lean code in Git repos.

[ Parent | on HN ]

Re:Egoless Mathematics in the AI Era by tarsierscripter on Tuesday November 03, 2026 @07:13AM (#50351031)

That’s of no use to anyone. Haven’t you been following this story? The value of a pure math proof is the understanding it brings and the additional questions raised along the way. Its truth value is of minor consequence.

[ Parent | on HN ]

Re:Egoless Mathematics in the AI Era by nradov on Tuesday November 03, 2026 @09:24AM (#50352366)

I've been following the story. Git repos of Lean code are a good start to developing understanding. First verify that the proof is correct, then work on ways to simplify it and make it understandable.

[ Parent | on HN ]

Re:Egoless Mathematics in the AI Era by soniczentropy on Tuesday November 03, 2026 @08:29AM (#50351738)

If Astra manages to genocide journal publishing I'd instantly consider it the crowning achievement of tech

[ Parent | on HN ]

Re:Egoless Mathematics in the AI Era by busssard on Tuesday November 03, 2026 @09:32AM (#50352465)

Many journals already have a no AI policy no?

[ Parent | on HN ]