This is showing as unresolved here, so I'm assuming something was retracted. https://mehmetmars7.github.io/Erdosproblems-llm-hunter/problem.html?type=erdos&id=

This is showing as unresolved here, so I'm assuming something was retracted. https://mehmetmars7.github.io/Erdosproblems-llm-hunter/problem.html?type=erdos&id=281 https://mehmetmars7.github.io/Erdosproblems-llm-hunter/probl...