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

		TeMPOraL 14 days 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.