Will a Large Language Model prove an important math theorem by end of 2024?

Basic

14

Ṁ556Dec 31

7%

chance

1D

1W

1M

ALL

We consider it "important" if there has already been much work by mathematicians to prove it. If an LLM only had minor contributions we don't consider it to be the LLM that proved it.

Get Ṁ600 play money

## Related questions

## Related questions

By the end of 2026, will we have transparency into any useful internal pattern within a Large Language Model whose semantics would have been unfamiliar to AI and cognitive science in 2006?

44% chance

Will a large language model beat a super grandmaster playing chess by 2028?

49% chance

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

70% chance

Will any language model trained without large number arithmetic be able to generalize to large number arithmetic by 2026?

54% chance

Will reinforcement learning overtake LMs on math before 2028?

45% chance

Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?

48% chance

Will a Large Language Model be listed as an author on a peer-reviewed paper by the end of 2025?

40% chance

Will language models be able to solve simple graphical mazes by the end of 2025?

65% chance

Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?

45% chance

Will Scaling Laws for Neural Language Model continue to hold till the end of 2027?

65% chance