Submissions from erdosproblems.com

		GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman (erdosproblems.com)
		3 points by philipfweiss 8 days ago \| past \| 1 comment
		Another Erdos Problem Solved (erdosproblems.com)
		3 points by paulpauper 13 days ago \| past \| 1 comment
		GPT-5.4 pro solves erdos problem #1196 (erdosproblems.com)
		4 points by larve 13 days ago \| past \| discuss
		Erdos #1051 Forum (erdosproblems.com)
		3 points by nmstoker 88 days ago \| past \| 1 comment
		Erdős Problem #347 Solved (AI assisted math) (erdosproblems.com)
		2 points by tzury 3 months ago \| past
		Erdõs Problem #281 (erdosproblems.com)
		2 points by gone35 3 months ago \| past \| 1 comment
		GPT 5.2 helps solve Erdős problem #728 (erdosproblems.com)
		4 points by tootyskooty 3 months ago \| past
		Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (erdosproblems.com)
		2 points by Davidzheng 4 months ago \| past \| 1 comment
		Aristotle from Harmonic has solved this Erdos problem (erdosproblems.com)
		2 points by cjbarber 4 months ago \| past
		AI just proved Erdos Problem #124 (erdosproblems.com)
		242 points by nl 5 months ago \| past \| 98 comments
		Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (erdosproblems.com)
		16 points by mathfan 5 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