This is impressive:  an AI model has disproved an...

An AI model has disproved an 80-year-old mathematical conjecture by Paul Erdős. The proof was generated by a new general-purpose reasoning model, not a system specifically trained for mathematics.

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.” 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. 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.” Hello In order to leave a comment, you need to be a current kottke.org member. If you'd like to sign up for a membership to support the site and join the conversation, you can explore your options here. Existing members can sign in here. If you're a former member, you can renew your membership. 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