| ▲ | adt 19 hours ago | |
Related, independent, and verified: GPT-5 solved Erdős problem #848 (combinatorial number theory): https://cdn.openai.com/pdf/4a25f921-e4e0-479a-9b38-5367b47e8... | ||
| ▲ | demirbey05 17 hours ago | parent | next [-] | |
I read how GPT-5 contributed to proof. It is not fully solved by GPT-5 instead assisted. For more look here https://www.math.columbia.edu/~msawhney/Problem_848.pdf | ||
| ▲ | ares623 18 hours ago | parent | prev [-] | |
FTL? Seriously? | ||