Zulip Chat Archive
Stream: PrimeNumberTheorem+
Topic: MathOverflow question
David Loeffler (Mar 02 2025 at 20:44):
Just a quick heads-up that there is a question on MathOverflow from Harald Helfgott asking (among other things) about the current state of the PNT+ project: https://mathoverflow.net/questions/488721/formal-proofs-of-the-prime-number-theorem
Last updated: May 02 2025 at 03:31 UTC