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
16
761
Option
Probability
2030
2029
2028
2026
2027
2025
37
35
31
31
26
2
Slopotopia: Have we reached peak AI slop in 2025?
Jan 15, 1:19 PM
Dec 31, 12:16 PM
14.46%
chance
11
397
Option
Votes
YES
NO
243
41
Latest stories