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

Coq 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

© 2025 DeepNFTValue, Inc. All rights reserved.

Prediction markets for Coq

Will we have a formalized proof of the Modularity theorem by 2029-05-01?

Mar 4, 8:53 PMMay 2, 4:59 AM

74.07%chance

288339

OptionVotes

NO

YES

1487

736

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

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

71.5%chance

445719

OptionVotes

NO

YES

1354

788

Which theorem prover will have proved the most theorems on Freek's list by end of 2025?

Jun 16, 7:29 PMDec 31, 11:59 PM

81434

OptionProbability

Isabelle

Lean

HOL Light

Coq

PVS

Mizar

Metamath

nqthm/ACL2

NuPRL/MetaPRL

ProofPower

52

39

2

2

1

1

1

1

1

1

Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?

Jan 13, 12:20 AMDec 31, 10:59 PM

60%chance

321333

OptionVotes

YES

NO

1021

951

Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?

Nov 27, 5:21 PMDec 31, 11:00 PM

8.31%chance

12993

OptionVotes

NO

YES

978

739

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

Nov 26, 10:24 PMMay 2, 4:59 AM

91.14%chance

19813

OptionVotes

NO

YES

1298

944

When will LLMs be able to generate formal proof for sudoku solver?

Sep 20, 7:35 AMJan 27, 7:59 PM

6400

OptionProbability

2026

2027 or later

2025

2024

62

29

8

1

In what year will AI achieve a score of 95% or higher on the PutnamBench leaderboard?

Jul 13, 5:43 PMJan 1, 11:59 PM

1150

When will the majority of the Stacks project be formalized?

Jul 26, 9:08 AMJan 1, 10:59 PM

150

OptionProbability

2030 or later

2024

2025

2026

2027

2028

2029

26

12

12

12

12

12

12

Latest stories