Submissions from erdosproblems.com

		GPT 5.2 helps solve Erdős problem #728 (erdosproblems.com)
		4 points by tootyskooty 7 days ago \| past \| discuss
		Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (erdosproblems.com)
		2 points by Davidzheng 43 days ago \| past \| 1 comment
		Aristotle from Harmonic has solved this Erdos problem (erdosproblems.com)
		2 points by cjbarber 44 days ago \| past
		AI just proved Erdos Problem #124 (erdosproblems.com)
		242 points by nl 45 days ago \| past \| 98 comments
		Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (erdosproblems.com)
		16 points by mathfan 45 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