Will Lean mathlib have a definition of graph minors by the end of 2024?
5
76
Ṁ159Ṁ128
Dec 31
80%
chance
1D
1W
1M
ALL
An analogous “minor map” definition exists in Coq. However, it’s up for debate whether we want to adopt that definition or something else.
Get Ṁ200 play money
Related questions
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
65% chance
Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?
Will OpenAI Release a Model Capable of Reliably performing Gradeschool Math from Reasoning by Jan 1, 2025?
73% chance
By the end of 2024, will at least 1 substantive Linux kernel commit have been written entirel by a large language model?
5% chance
Will a Large Language Model prove an important math theorem by end of 2024?
9% chance
Will Terence Tao write a paper with Lean code in it during the 2026 calendar year?
74% chance
Will there be AI-generated auto-conversion of the entire matplotlib library into Haskell by 2028?
67% chance
Will Complexity theory in mathlib be mostly lambda-calculus based on 2025-02-17?
63% chance
Will a Large Language Model be listed as an author on a peer-reviewed paper by the end of 2025?
48% chance