DeepNewz, mobile.
People-sourced. AI-powered. Unbiased News.
Dismiss
Open main menu
Search
For You
AI
Business
Crypto
Culture
Environment
Politics
Science
Sports
Tech
United States
World
Proof of Speed News
Prediction markets for Proof of Speed
Prediction markets for Proof of Speed
By when will a competition platform like Codeforces but for mathematics (theorem proving) appear?
Feb 29, 11:00 AM
Jan 1, 10:59 PM
20
1153
Option
Probability
2027
2026
2030
2029
2028
2025
62
55
35
33
31
2
Slopotopia: Have we reached peak AI slop in 2025?
Jan 15, 1:19 PM
Dec 31, 12:16 PM
17.7%
chance
12
427
Option
Votes
YES
NO
216
46
Latest stories
