Arjun Raj says AI may disprove his two-year “math solved” timeline

arjunrajlab · x · 2026-07-23

Arjun Raj says he had previously conjectured that math would be “solved” in about two years, and now wonders whether AI will produce a counterexample to that timeline within the next year.

The post is a short, speculative AGI-flavored prediction about how quickly AI may change the pace of mathematical discovery. It does not present evidence or a concrete benchmark result, but it is a notable public stance on AI’s trajectory.

Original post →

More from AGI Musings

AGI Musings channel →