Relevant post here that demonstrates this idea, 2022 Bad at arithmetic, promisin...

		stevenhuang 54 days ago \| parent \| context \| favorite \| on: Claim: GPT-5-pro can prove new interesting mathema... Relevant post here that demonstrates this idea, 2022 Bad at arithmetic, promising at math: https://www.lesswrong.com/posts/qy5dF7bQcFjSKaW58/bad-at-ari...