When will the PrimeNumberTheorem+ project formalize weak PNT?

7

155

Ṁ1.5KṀ390

Mar 15

1D

1W

1M

ALL

12%

By 2024-03-14

25%

By 2024-03-28

Resolved

NOBy 2024-01-07

Resolved

NOBy 2024-02-07

Resolved

NOBy 2024-02-14

Resolved

NOBy 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

proofof this result and all its ancestors are formalized".

Get Ṁ1,000 play money

## More related questions

## Related questions

How many digits of pi will be calculated by in February 2024 at City of London School?

Which proposals on the Nomic game will be accepted?

Greatest Mathematician of all time

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

55% chance