News for hackers. Stuff that matters.

A comment on Sharing AI progress in mathematics. Parent comment

Re:Sharing AI progress in mathematics by agnosticmantis on Tuesday October 06, 2026 @07:22PM (#49985601)
Long term this will be the only reasonable author list: Chad G. Peter {1}, Mat H. Lean {2}.

1: Author 2: Verifier

/s

[ Parent | on HN ]

There are no comments on this comment yet.