MAT News

President Ruto and Raila Lead UDA-ODM Meeting as MPs Face Extortion Claims; Anti-Graft Team Suspended, Mutai Impeachment Trial Set, Gachagua Returns

6 months ago

Kenya High Court Suspends President Ruto’s Multi-Agency Anti-Corruption Team Amid Petition by Four Activists and MPs Demand Evidence

5 months ago

Will AI be capable of producing an Annals-quality math paper for $100k by March 2030?

Mar 11, 6:21 AMMar 18, 6:59 AM

45%chance

231391548

OptionVotes

YES

6865

2234

Superhuman mathematical problem solving before 2030, assuming no AGI yet?

Apr 18, 9:11 PMDec 31, 11:59 PM

17.49%chance

92161256

OptionVotes

YES

112159

17112

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

Perfect score achieved by an AI model in the International Math Olympiad (IMO) 2026?

Jul 19, 2:29 PMJul 31, 10:59 PM

67.78%chance

14937942

OptionVotes

YES

10178

9346

Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]

Jul 19, 2:27 PMJul 31, 11:59 PM

43.51%chance

4420604

OptionVotes

YES

11751

8421

Will Lean mathlib contain more than 10 million lines of code by 2030?

Jan 1, 2:24 PMDec 31, 11:59 PM

67.3%chance

348451

OptionVotes

YES

14345

6971

Before 2028, will AI systems outperform mathematicians at suggesting reasonable explanations for new OEIS sequences?

Jul 20, 9:36 AMJan 2, 7:59 AM

36%chance

125493

OptionVotes

YES

10577

9472

Will Ilya Sutskever be involved in mentoring a MATS project in any of MATS 9, 10, or 11?

Sep 9, 12:57 AMJan 31, 11:59 PM

15.25%chance

15844

OptionVotes

YES

236

Will someone from SERI MATS win a turing award by 2040

Jun 24, 11:19 AMJan 1, 4:59 AM

21.29%chance

4105

OptionVotes

YES

192

Will someone write book about saving the world (HPMOR) featuring at least 5 SERI MATS people by 2029? (Pseudonyms ok)

Jun 11, 5:12 AMJan 1, 4:59 AM

20%chance

1100

OptionVotes

YES

200

What Will John Make In MathCounts?

Jul 26, 3:26 AMJun 1, 3:20 AM

OptionProbability

Nothing

School

Chapter

State

National

Other

did you or anyone in your household have The Mat as a kid?

Oct 6, 10:16 PM

260

Latest stories

Aug 24, 2025
Aug 24, 2025
Kenya
Law
Politics
Kenya High Court Suspends President Ruto’s Multi-Agency Anti-Corruption Team Amid Petition by Four Activists and MPs Demand Evidence
Authors
3
5 months ago
Aug 20, 2025
Aug 20, 2025
Kenya
Politics
World
President Ruto and Raila Lead UDA-ODM Meeting as MPs Face Extortion Claims; Anti-Graft Team Suspended, Mutai Impeachment Trial Set, Gachagua Returns
Authors
4
6 months ago

Join our channels

Get the latest stories live on any device.

WhatsApp
Top Stories
Join
Telegram
Top Stories
Join

MAT News

Top stories

Prediction markets for MAT

Prediction markets for MAT

Prediction markets for MAT

Will AI be capable of producing an Annals-quality math paper for $100k by March 2030?

Superhuman mathematical problem solving before 2030, assuming no AGI yet?

AI outperforms humans in all mathematical research areas by 2028?

Perfect score achieved by an AI model in the International Math Olympiad (IMO) 2026?

Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]

Will Lean mathlib contain more than 10 million lines of code by 2030?

Before 2028, will AI systems outperform mathematicians at suggesting reasonable explanations for new OEIS sequences?

Will Ilya Sutskever be involved in mentoring a MATS project in any of MATS 9, 10, or 11?

Will someone from SERI MATS win a turing award by 2040

Will someone write book about saving the world (HPMOR) featuring at least 5 SERI MATS people by 2029? (Pseudonyms ok)

What Will John Make In MathCounts?

did you or anyone in your household have The Mat as a kid?

Latest stories

Join our channels

WhatsApp

Telegram