Will mathlib add the Isoperimetric theorem?
5
5
Ṁ463Ṁ100
resolved Jul 12
Resolved
NO1D
1W
1M
ALL
Resolves according to [this list](https://leanprover-community.github.io/100.html).
Resolves No if it hasn't been added by the close time.
Get Ṁ200 play money
🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ45 | |
| 2 | Ṁ25 | |
| 3 | Ṁ8 | |
| 4 | Ṁ1 |
Related questions
Will I still do Olympiad Geometry in college?
73% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
52% chance
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
42% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
64% chance
By when will a competition platform like Codeforces but for mathematics (theorem proving) appear?
Is Graph Isomorphism in P?
63% chance
Will Lean mathlib have a definition of graph minors by the end of 2024?
80% chance
Will Complexity theory in mathlib be mostly lambda-calculus based on 2025-02-17?
63% chance
Will the “sum of 3 palindromes” theorem be formalized by the end of 2024?
35% chance