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

9 months ago

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

9 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

65.39%chance

297534365

OptionVotes

YES

5410

4066

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

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

18.58%chance

103162323

OptionVotes

YES

108745

17863

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

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

57.35%chance

265151314

OptionVotes

YES

11662

6844

AI outperforms humans in all mathematical research areas by 2028?

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

15.94%chance

15970513

OptionVotes

YES

2206

1432

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

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

44%chance

7429741

OptionVotes

YES

11639

8508

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

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

66.52%chance

3913685

OptionVotes

YES

14096

7094

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

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

35.83%chance

125543

OptionVotes

YES

10627

9444

Will an individual-directed ransomware campaign materially harm 100k people by 9 April 2027?

Apr 9, 9:49 AMApr 9, 9:48 AM

32.74%chance

122181

OptionVotes

YES

5594

2925

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

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
9 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
9 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?

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

AI outperforms humans in all mathematical research areas by 2028?

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 an individual-directed ransomware campaign materially harm 100k people by 9 April 2027?

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)

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

Latest stories

Join our channels

WhatsApp

Telegram