DeepNewz, mobile.

People-sourced. AI-powered. Unbiased News.

Screenshot of DeepNewz app showing story detail view.

Screenshot of DeepNewz app showing story list view.

Search

For You

Proof News

Footer

AI

AI Fundraising
AI Modeling
AI Products

Business

Automobile
Company Earnings
Economics
Law
Prediction Markets
Real Estate
Rumors
Stocks
VC

Crypto

Airdrops
Blockchains
CBDCs
DeFi
Hacks
Markets
Memecoin
Mining
NFT
Regulation

Culture

Anime
Celebrities
Crime
Education
Movies
Music
Obituary
TV
Video Games

Environment

Climate
Energy
Natural Disasters
Natural Resources
Sustainability

Politics

DOGE
Epstein Files
Executive Orders
Tariffs
US Domestic Policy
US Elections
US Foreign Policy
US Gov Appointments
US Judiciary
US Legislation
War

Science

Archeology
Bio
Health
Math
Pharma
Physics
Space

Sports

Boxing
Chess
Cricket
Golf
Hockey
MLB
NBA
NCAA
NFL
Olympics
PGA
Poker
Racing
Rugby
Soccer
Tennis
UFC

Tech

AR-VR
Fintech
Infosec
IoT
Metaverse
Policy
Robotics
Smart Home
Software
Startups
Wearables

United States

Arizona
Boston
California
Chicago
Colorado
Detroit
Florida
Georgia
Las Vegas
Los Angeles
New Jersey
New Mexico
New York
Ohio
Oregon
Philadelphia
San Francisco
Seattle
Texas
Utah
Washington DC

World

Terms of Service

WhatsApp YouTube X

© 2026 DeepNFTValue, Inc. All rights reserved.

Top stories

Aave Launches Horizon Letting Institutions Borrow Stablecoins With Tokenized Treasuries

Aave Launches Horizon Letting Institutions Borrow Stablecoins With Tokenized Treasuries

Authors

19

8 months ago

Prediction markets for Proof

Will proof of life of extraterrestrial origin be found by 2100?

Jun 26, 9:08 AMDec 31, 3:59 PM

67%chance

12598800

OptionVotes

NO

YES

2002

684

In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)

Sep 16, 8:47 PMJan 1, 8:00 AM

80.71%chance

10419201

OptionVotes

NO

YES

2133

685

What will be the best OpenAI-Proof Q&A score by Dec 31, 2026?

Jan 16, 8:50 PMJan 1, 4:59 AM

2315475

OptionProbability

20-30%

30-40%

40-50%

10-20%

50-60%

<10%

60-70%

70-80%

80-90%

≥90%

21

20

15

11

10

7

6

5

3

2

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

May 2, 1:38 AMMay 2, 4:59 AM

75.2%chance

476164

OptionVotes

NO

YES

1515

729

Would an AI be capable of constructing a non-brute, ultraweak proof of chess for this board state by 2030?

Jun 26, 8:30 AMJan 2, 5:59 AM

47.84%chance

125581

OptionVotes

YES

NO

10661

9352

Frontier science theorem discovery fully formalized in proof assistant before 2028?

May 23, 6:26 AMDec 31, 9:44 AM

22.82%chance

111221

OptionVotes

YES

NO

1842

547

If P=NP is proven, will the first proof be constructive?

Aug 23, 3:07 AMDec 31, 12:00 PM

28.28%chance

291131

OptionVotes

YES

NO

1636

647

Will we have a proof of the Riemann Hypothesis by 2060?

Nov 26, 10:37 PMDec 31, 11:59 PM

60.9%chance

25939

OptionVotes

NO

YES

1260

759

Proof-of-work banned in California by 2032-11-02?

Nov 2, 8:13 PMNov 3, 4:59 AM

22.52%chance

19759

OptionVotes

YES

NO

1042

964

Will I find proof of a mushroom at least a meter tall?

Oct 21, 2:12 AMJan 2, 7:59 AM

18.41%chance

14616

OptionVotes

YES

NO

1322

902

Will a major social media platform implement privacy-preserving proof of personhood by 2030?

Aug 16, 11:56 AMDec 31, 10:59 PM

55%chance

10557

OptionVotes

NO

YES

1106

905

Will "Lies, Damned Lies, and Proofs: Formal Methods..." make the top fifty posts in LessWrong's 2026 Annual Review?

Jan 22, 11:50 AMFeb 1, 12:00 AM

14%chance

00

OptionVotes

NO

YES

1000

1000

Latest stories

Latest stories

Aug 27, 2025
Aug 27, 2025
Fintech
DeFi
Blockchains
Aave Launches Horizon Letting Institutions Borrow Stablecoins With Tokenized Treasuries
Authors
19
8 months ago

Previous
Next

Join our channels

Get the latest stories live on any device.

WhatsApp
Top Stories
Join
Telegram
Top Stories
Join