LESSWRONG
LW

843
Russ Abbott
0010
Message
Dialogue
Subscribe

Posts

Sorted by New

Wikitag Contributions

Comments

Sorted by
Newest
No wikitag contributions to display.
2022 was the year AGI arrived (Just don't call it that)
Russ Abbott3y11

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.

Reply
No posts to display.