OpenAI discovers the first proof of the Riemann Hypothesis before 2027?

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)

Which of OpenAI's claimed math results will be shown to be flawed before 2027?

OpenAI’s Claimed Proof of the Cycle Double Cover Conjecture Affirmed before 2027?

OpenAI Releases another batch of mathematics results before 2027?

OpenAI Claims to Solve another Millennium Prize Problem before 2027?

Will AI produce a proof of finite-time blow-up for the unforced Navier–Stokes equations before 2027?

OpenAI disproof of Exponential Time Hypothesis is substantively correct?

OpenAI announces it has achieved AGI before 2027?

OPQA (OpenAI-proof QA) hits 20% before 2027