Comment by Russ Abbott (russ-abbott) on 2022 was the year AGI arrived (Just don't call it that) · 2023-01-07T16:33:50.734Z · LW · GW

Ask ChatGPT to prove that the square root of 2 is not rational. It starts out reasonably but soon claims that 2 is not a rational number! It's justification for that is that the square root of two is not rational.