3 ms·
Another Erdos Problem Solved
- doctoboggan 7mo agoThe title is missing the fact that this was solved by an LLM (gpt5.4) See here for more comments: https://www.reddit.com/r/math/comments/1smehbo/stunning_ai_breakthrough_gpt_54_solves_erdos/ https://www.reddit.com/r/math/comments/1smehbo/stunning_ai_b...