This is impressive: an AI model has disproved an 80-year-old conjecture by Paul Erdős. “The proof came from a new general-purpose reasoning model, rather than from a system trained specifically for mathematics.”
Advertise here with Carbon Ads
This site is made possible by member support. 💞
Big thanks to Arcustech for hosting the site and offering amazing tech support.
When you buy through links on kottke.org, I may earn an affiliate commission. Thanks for supporting the site!
kottke.org. home of fine hypertext products since 1998.
Beloved by 86.47% of the web.
Comments 2
Gary Marcus provided some interesting context about this in his most recent newsletter (Substack, sorry). His conclusion is the same as for many things AI: impressive but probably not as significant as it's being made out to be.
I wouldn't be trusting anything these AI companies say at face value since they're trying to IPO.
If you feel like this comment goes against the grain of the community guidelines or is otherwise inappropriate, please let me know and I will take a look at it.
In order to comment or fave, you need to be a kottke.org member. Check out your membership options.
Note: If you are a member and tried to log in, it didn't work, and now you're stuck in a neverending login loop of death, try disabling any ad blockers or extensions. Or try logging out and then back in. Still having trouble? Email me!