Submissions from github.com/teorth

		Terence Tao: A collection of optimization problems in mathematics (github.com/teorth)
		3 points by zaikunzhang 6 days ago \| past \| discuss
		AI Contributions to Erdős Problems (github.com/teorth)
		1 point by fdeage 11 days ago \| past \| discuss
		AI Contributions to Erdős Problems (github.com/teorth)
		2 points by ColinWright 19 days ago \| past
		Terence Tao's list of AI contributions to Erdős problems (github.com/teorth)
		1 point by nomilk 21 days ago \| past
		AI Contributions to Erdős Problems (github.com/teorth)
		1 point by ColinWright 25 days ago \| past \| 1 comment
		AI Contributions to Erdős Problems (github.com/teorth)
		3 points by tzury 32 days ago \| past
		Terence Tao: AI contributions to Erdős problems (github.com/teorth)
		4 points by frozenseven 32 days ago \| past
		A mathematical proof assistant (v2) (github.com/teorth)
		4 points by ptrj_ 8 months ago \| past
		Project to map out the relation between different equational theories of Magmas (github.com/teorth)
		2 points by looofooo0 on Oct 15, 2024 \| past
		Equational Theories Project (github.com/teorth)
		3 points by nabla9 on Oct 14, 2024 \| past