By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today? | Manifold

By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?

#AI #AI Impacts #Expert survey on AI progress, 2023

21

38

Never closes

<10%

10-30%

30-50%

50-70%

70-90%

>90%

AI can autonomously prove mathematical theorems that are publishable in mathematics journals today

including generating the theorems to prove.

Get Ṁ600 play money

Related in AI

Will Apple announce a partnership with OpenAI regarding Siri during WWDC 2024?

Will I find GPT-4o more helpful than Claude 3 Opus for doing web development tomorrow?

-12% 1d59% chance

See more AI questions

Related in AI Impacts

Will OpenAI hint at or claim to have AGI by 2025 end?

Will any AI by OpenAI be able to create images of English alphabet characters rotated by 90 degrees?

See more AI Impacts questions

Related in Expert survey on AI progress, 2023

By 2028, AI can translate a text written in a newly discovered language into English as well as a team of human experts

By 2029, AI can provide phone banking services as well as human operators, without annoying customers more than humans?

See more Expert survey on AI progress, 2023 questions

More related questions

Will an AI get gold on any International Math Olympiad by 2025?

Will any AI be able to formalize >=90% of IMO problems by the start of 2025?

-8% 1d25% chance

Will an AI win a Gold Medal on the International Math Olympiad by 2032?

Will an AI win a Gold Medal on the International Math Olympiad by 2029?

By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?

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

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

Will an AI win a Gold Medal on the International Math Olympiad by 2027?

Before 2030, will an AI complete the Turing Test in the Kurzweil/Kapor Longbet?

In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)

AI questions

Will Apple announce a partnership with OpenAI regarding Siri during WWDC 2024?

Will I find GPT-4o more helpful than Claude 3 Opus for doing web development tomorrow?

AI Impacts questions

Will OpenAI hint at or claim to have AGI by 2025 end?

Will any AI by OpenAI be able to create images of English alphabet characters rotated by 90 degrees?

Expert survey on AI progress, 2023 questions

By 2028, AI can translate a text written in a newly discovered language into English as well as a team of human experts

By 2029, AI can provide phone banking services as well as human operators, without annoying customers more than humans?

Related questions

Will an AI get gold on any International Math Olympiad by 2025?

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

Will any AI be able to formalize >=90% of IMO problems by the start of 2025?

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

Will an AI win a Gold Medal on the International Math Olympiad by 2032?

Will an AI win a Gold Medal on the International Math Olympiad by 2027?

Will an AI win a Gold Medal on the International Math Olympiad by 2029?

Before 2030, will an AI complete the Turing Test in the Kurzweil/Kapor Longbet?

By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?

In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)