I think 2026 should see insane progress in AI for math (if not in AI generally)

		Davidzheng 3 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... I think 2026 should see insane progress in AI for math (if not in AI generally)