Submissions from erdosproblems.com

		Sum-product, unit distances, and number fields (erdosproblems.com)
		67 points by robinhouston 56 days ago \| past \| 19 comments
		GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman (erdosproblems.com)
		3 points by philipfweiss 3 months ago \| past \| 1 comment
		Another Erdos Problem Solved (erdosproblems.com)
		3 points by paulpauper 3 months ago \| past \| 1 comment
		GPT-5.4 pro solves erdos problem #1196 (erdosproblems.com)
		4 points by larve 3 months ago \| past
		Erdos #1051 Forum (erdosproblems.com)
		3 points by nmstoker 5 months ago \| past \| 1 comment
		Erdős Problem #347 Solved (AI assisted math) (erdosproblems.com)
		2 points by tzury 6 months ago \| past
		Erdõs Problem #281 (erdosproblems.com)
		2 points by gone35 6 months ago \| past \| 1 comment
		GPT 5.2 helps solve Erdős problem #728 (erdosproblems.com)
		4 points by tootyskooty 6 months ago \| past
		Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (erdosproblems.com)
		2 points by Davidzheng 7 months ago \| past \| 1 comment
		Aristotle from Harmonic has solved this Erdos problem (erdosproblems.com)
		2 points by cjbarber 7 months ago \| past
		AI just proved Erdos Problem #124 (erdosproblems.com)
		242 points by nl 7 months ago \| past \| 98 comments
		Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (erdosproblems.com)
		16 points by mathfan 8 months ago \| past \| 2 comments
		Erdos Problems Collection (erdosproblems.com)
		82 points by dargscisyhp on April 19, 2024 \| past \| 14 comments
		Erdős Problem 166 has fallen (erdosproblems.com)
		7 points by ColinWright on June 8, 2023 \| past \| 1 comment