Submissions from erdosproblems.com

		Erdos #1051 Forum (erdosproblems.com)
		3 points by nmstoker 24 days ago \| past \| 1 comment
		Erdős Problem #347 Solved (AI assisted math) (erdosproblems.com)
		2 points by tzury 32 days ago \| past
		Erdõs Problem #281 (erdosproblems.com)
		2 points by gone35 36 days ago \| past \| 1 comment
		GPT 5.2 helps solve Erdős problem #728 (erdosproblems.com)
		4 points by tootyskooty 48 days ago \| past
		Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (erdosproblems.com)
		2 points by Davidzheng 84 days ago \| past \| 1 comment
		Aristotle from Harmonic has solved this Erdos problem (erdosproblems.com)
		2 points by cjbarber 85 days ago \| past
		AI just proved Erdos Problem #124 (erdosproblems.com)
		242 points by nl 85 days ago \| past \| 98 comments
		Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (erdosproblems.com)
		16 points by mathfan 86 days 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