When will the PrimeNumberTheorem+ project formalize weak PNT?
7
155
390
Mar 15
12%
By 2024-03-14
25%
By 2024-03-28
Resolved
NO
By 2024-01-07
Resolved
NO
By 2024-02-07
Resolved
NO
By 2024-02-14
Resolved
NO
By 2024-02-28

Resolves to all dates on or after the first date that the "Weak PNT" declaration on the project dependency chart shows with a dark green background, indicating

"the proof of this result and all its ancestors are formalized".

Get Ṁ1,000 play money
Sort by:

Resolving the 2024-02-14 one a bit early since it seems certain and so I can not forget to update the close time.