Will Adv. Data Structures and Algorithms with Jason run at Proof in 2023-24?
14
164
Ṁ3.6KṀ290
resolved May 25
Resolved
YES1D
1W
1M
ALL
General policy for my markets: In the rare event of a conflict between my resolution criteria and the agreed-upon common-sense spirit of the market, I may resolve it according to the market's spirit or N/A, probably after discussion.
Get Ṁ200 play money
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ36 | |
2 | Ṁ14 | |
3 | Ṁ10 | |
4 | Ṁ9 | |
5 | Ṁ3 |
Sort by:
Related questions
Will an algorithm be able to work on million-line codebases before 2026?
68% chance
In 2026, will it be apparent deep learning hit a non-transient wall at some point in 2023-2025?
25% chance
Will an AI win Advent of Code? (2024)
6% chance
Will a Large Language Model prove an important math theorem by end of 2024?
9% chance
Will Goldbach's conjecture be proved before 2030?
11% chance
By the start of 2026, will the Clay Mathematics Institute award its monetary prize for the solution of another Millennium Prize Problem?
5% chance
Will a polynomial-time algorithm for an NP-complete problem be published by 2030?
4% chance
Will AI pass the Winograd schema challenge by the end of 2024?
78% chance
Will a matmul algorithm better than O(n^{2.371552}) [Willians et al. 2023] be published before the end of 2025?
71% chance
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
42% chance