Algebra News

AI outperforms humans in all mathematical research areas by 2028?

Jul 17, 3:17 PMJul 18, 3:59 AM

14.99%chance

14969486

OptionVotes

YES

2334

1409

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?

Jul 24, 7:30 PMJan 2, 7:59 AM

31.06%chance

10825367

OptionVotes

YES

1791

1279

What IMO Shortlist topic (ACGN) will be the easiest for the first AI solving multiple shortlist problems?

Dec 15, 2:56 AMDec 29, 5:59 AM

203863

OptionProbability

Geometry

Algebra

Combinatorics

Number Theory

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?

Jul 24, 7:37 PMJan 2, 7:59 AM

32.09%chance

292954

OptionVotes

YES

1452

685

Will monkeys be able to learn algebra by 2030?

Feb 17, 3:49 PMJan 1, 7:59 AM

15.36%chance

211022

OptionVotes

YES

984

965

Will I successfully graduate college in Spring?

Nov 26, 4:53 PMJul 8, 11:59 PM

78.06%chance

12886

OptionVotes

YES

1886

530

Are π and e algebraically independent?

Oct 16, 12:30 AMJan 1, 5:59 AM

86.87%chance

15544

OptionVotes

YES

1185

946

Are all algebraic irrational numbers absolutely normal?

Nov 1, 4:14 PMJan 1, 5:59 AM

87.67%chance

7243

OptionVotes

YES

355

What IMO Shortlist topic (ACN) will be the second easiest for the first AI solving multiple shortlist problems?

Jan 17, 11:18 PMDec 30, 10:59 PM

8128

OptionProbability

Algebra

Number Theory

Combinatorics

Which paper will win the Gödel prize in 2026

Jul 21, 7:03 PMJun 30, 11:59 PM

160

OptionProbability

Other

Simulating Time With Square-Root Space

MIP* = RE

The Complexity of Gradient Descent: CLS = PPAD ∩ PLS

Graph Isomorphism in Quasipolynomial Time

A Dichotomy Theorem for Nonuniform CSPs

Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits

An Average-Case Depth Hierarchy Theorem for Boolean Circuits

Learning Algorithms from Natural Proofs

Deciding Parity Games in Quasi-polynomial Time

A Proof of the CSP Dichotomy Conjecture

Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture

Which programming language feature will enter the mainstream next?

Apr 20, 6:42 PMDec 31, 10:59 PM

525

OptionProbability

Other

Monads

Dependent types

Rank polymorphism

Refinement types

Tactics

Algebraic effects

Uniqueness typing

Can Peter Thiel do real analysis, abstract algebra, complex analysis, or PDEs?

Sep 23, 1:46 PM

Algebra News

Prediction markets for Algebra

Prediction markets for Algebra

Prediction markets for Algebra

AI outperforms humans in all mathematical research areas by 2028?

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?

What IMO Shortlist topic (ACGN) will be the easiest for the first AI solving multiple shortlist problems?

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?

Will monkeys be able to learn algebra by 2030?

Will I successfully graduate college in Spring?

Are π and e algebraically independent?

Are all algebraic irrational numbers absolutely normal?

What IMO Shortlist topic (ACN) will be the second easiest for the first AI solving multiple shortlist problems?

Which paper will win the Gödel prize in 2026

Which programming language feature will enter the mainstream next?

Can Peter Thiel do real analysis, abstract algebra, complex analysis, or PDEs?

Latest stories