Terrence Tao: "Erdos problem #728 was solved more or less autonomously by AI"

Artificial Intelligence#AI in Mathematics📝 Blog|Analyzed: Jan 16, 2026 01:53
Published: Jan 10, 2026 01:35
1 min read
r/artificial