Solved Axiom

Concept

A hypothetical axiom stating that any mathematical problem solvable by human-AI interaction could also be solved by AI alone. This is debated, with Alex Kontorovich not believing it.

Mentioned in 1 video

Videos Mentioning Solved Axiom

AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503

AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503

Lex Fridman

A hypothetical axiom stating that any mathematical problem solvable by human-AI interaction could also be solved by AI alone. This is debated, with Alex Kontorovich not believing it.