That's true, and a good fundamental point. But here it's much simpler than that:...

TeMPOraL 6 months ago | parent | context | favorite | on: “Erdos problem #728 was solved more or less autono...

That's true, and a good fundamental point. But here it's much simpler than that: math is a language the same way code is, and if there's one thing LLMs excel at, it's reading and writing code and translating back and forth between code and natural language.