An interesting use of AI. There are many "Erdos problems" (problems that Erdos thought were interesting but didn't have time to solve) out there, and sometimes they get solved by someone who...
An interesting use of AI. There are many "Erdos problems" (problems that Erdos thought were interesting but didn't have time to solve) out there, and sometimes they get solved by someone who either doesn't know they are an Erdos problem, or perhaps they just didn't publicize that fact -- now AI agents sifting through papers are surfacing these so the authors can get credit.
An interesting use of AI. There are many "Erdos problems" (problems that Erdos thought were interesting but didn't have time to solve) out there, and sometimes they get solved by someone who either doesn't know they are an Erdos problem, or perhaps they just didn't publicize that fact -- now AI agents sifting through papers are surfacing these so the authors can get credit.