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

OpenAI discovers the first proof of the collatz conjecture before 2026

Will the Collatz conjecture be resolved by the end of the decade (11:59, 31 December 2029)?

Will the Collatz Conjecture (3x+1 problem) be solved before 2030?

Is the Collatz conjecture true?

By the end of year 2025, will a counter-example to the Collatz Conjecture be provided that is less than a googolplex?

In what year will the Collatz conjecture be solved?

What will be the first published counterexample to Collatz conjecture?

Will a 3x3 magic square of distinct perfect square numbers be proven impossible by end of 2025?

Will another Millennium Problem be resolved before the end of 2025?