Comment Comment by xeeeeeeeeeeenu > no prior solutions found.This is no longer true, a prior solution has just been found[1], so the LLM proof has been moved to the Section 2 of Terence Tao's wiki[2].[1] - https://www.erdosproblems.com/forum/thread/281#post-3325[2] - https://github.com/teorth/erdosproblems/wiki/AI-contribution... parent xeeeeeeeeeeenu 9 months ago
This is no longer true, a prior solution has just been found[1], so the LLM proof has been moved to the Section 2 of Terence Tao's wiki[2].
[1] - https://www.erdosproblems.com/forum/thread/281#post-3325
[2] - https://github.com/teorth/erdosproblems/wiki/AI-contribution...