Search
News Chat
Login
Search
Top
For You
Business
Crypto
Culture
Environment
Politics
Science
Sports
Tech
Video Games
World
Lean In News
Prediction markets for Lean In
Prediction markets for Lean In
By 2030, will the academic community lean in favour of insecticide-treated bed nets having net-positive overall impact?
Jan 21, 6:47 PM
Jan 1, 11:59 PM
88.6%
chance
12
261
Option
Votes
NO
YES
1177
952
Will Kevin Buzzard successfully formalize Fermat's Last Theorem in Lean within his 5 year grant?
Feb 14, 6:58 PM
Feb 22, 6:29 PM
82.13%
chance
10
339
Option
Votes
NO
YES
446
95
Will the academic community lean in favour of Vladimir Putin having autism by 2030?
Feb 10, 2:28 PM
Jan 1, 11:59 PM
21.31%
chance
12
212
Option
Votes
YES
NO
257
183
Will Terence Tao write a paper with Lean code in it during the 2026 calendar year?
Oct 31, 5:23 PM
Jan 1, 5:59 AM
74.18%
chance
8
76
Option
Votes
NO
YES
269
179
Will the Myhill–Nerode theorem be formalized in Lean mathlib by the end of 2024?
Feb 11, 9:08 AM
Dec 31, 12:59 PM
89.4%
chance
6
254
Option
Votes
NO
YES
333
55
Will Jan Bosch be right about 2024?
Jan 2, 8:56 PM
Jan 10, 10:59 PM
3
133
What capabilities can I elicit from the "im-a-good-gpt2-chatbot" models while they are available? [Add answers]
May 7, 3:49 PM
Jan 2, 7:59 AM
14
149
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Jun 16, 7:29 PM
Dec 31, 11:59 PM
7
932
Which MATH-AI 23 works will have >50 Google Scholar citations by end of 2026?
Oct 31, 5:12 PM
Jan 1, 5:59 AM
1
135
2024 House Races: Which congressional elections will be won by a Republican? [10K Subsidy]
Mar 23, 5:45 PM
Dec 1, 7:59 AM
60
8817
Programming language Stock
Apr 9, 2:17 PM
Dec 31, 10:59 PM
39
2559
What question will I use my free crystal on? 🔮
Jun 8, 1:05 AM
Jul 30, 12:00 PM
38
11057
Articles
Latest stories
Latinas Severely Underrepresented in C-Suite, Lean In Report Finds; 1% of C-suite, 64% Pay Gap
Authors
7
20 days
Economics
Business
Previous
Next
