3 ms·The math world is losing its mind over the new AI solution to an Erdős problem5 points by fortran77 5mo agofortran77 5mo agohttps://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84?st=xKK3xx&reflink=desktopwebshare_permalink https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-ope...znpy 5mo agoarchive link: https://archive.is/2rehT https://archive.is/2rehT