Will human mathematicians be mostly obsolete by 2030?

1.1kṀ7542

2029

25%

chance

ALL

Unranked

Unsubsidized

Get

1,000

to start trading!

People are also trading

Will we have a superhuman mathematician by the beginning of 2026 (as defined here: https://twitter.com/ChrSzegedy/status/1598341927828594688)?

11% chance

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

60% chance

By EOY 2034, what unexpected views of math will be changed by (superhuman) AI?

Will most physicists believe in a version of the Mathematical Universe Hypothesis by 2030?

8% chance

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

31% chance

Will monkeys be able to learn algebra by 2030?

24% chance

Will any AI model achieve > 40% on Frontier Math before 2026?

76% chance

Will an AI solve any important mathematical conjecture before January 1st, 2030?

71% chance

Next year will I think that AI is better than me at math?

67% chance

Will AI surpass humans in conducting scientific research by 2030?

Sort by:

Wetware is the future, even if hardware lags our biological engineering capabilities can keep up. I for one welcome the chimeric savior race.

Does this include the potential for dolphins and sea urchins doing the research instead? I may have to adjust my priors if so...

What does "mostly obsolete" mean here? They'll still be employed by major universities and teaching large number of undergrads. They'll still be publishing papers and receiving Fields medals.

@jonsimon That most important math research is not done by them anymore, and instead done by for example AGI or aliens.

predictedNO

@levifinkelstein But what does "done by them" mean? How will it be quantified? Humans will still be writing the papers and getting the awards. Even if the contents of those papers are heavily AI produced.

@jonsimon the conceptual work has to be mostly done by the mathematicians, if they just ask some model to prove a theorem for them and then it does it then it doesn't count as the mathematician doing it.

predictedNO

@jonsimon The day that AI is producing 100% of the mathematical breakthroughs is the day that mathematicians and the broader enterprise of research mathematics ceases to exist. 99.9% of math papers that come out are just for the edification of other human mathematicians.