GPT-5.5 (the one available right now to everyone) can also disprove the sum-product conjecture: https://t.co/gdHwLY3o20 . I didn't reveal it before because I think it is good to give some space to the community to absorb these new capabilities. In particular the humans involved in the discovery should get all the credit for this amazing breakthrough. We all have some work to do to align on cultural norms in this new world.
Mathematics -is- a human endeavour.
There is something which maybe you're calling mathematics that has nothing to do with humans, some 'platonic otherworld' of abstract ideas. But what I call mathematics is the human attempt to explore and understand this world.
This terrific article by @sioroberts will help elevate the public discussion of AI in mathematics. The interview about the Leiden Declaration is especially helpful. https://t.co/u4SYxQVXZ2
I unequivocally support the Leiden Declaration. As a former AMS VP, current Editor-in-Chief, and someone bridging academia and industry, I see its message as urgent. AI will shape mathematics. We must uphold rigor, transparency, attribution, and culture. https://t.co/owK1HAOHrf
@duolingo My husband had over a 1,000 day streak doing Chinese but lost it when he caught COVID a couple of months ago. The fatigue and brain fog meant he couldn't do Duo for over 2 weeks!
Another major problem, this time in additive combinatorics, has fallen, this time to humans rather than AI, but using methods related to the AI solution to the unit distance conjecture.
Please stop. I don’t want an AI summary of my Google search. I don’t want an AI summary of the text message from my friend at work. I don’t want an AI summary of the email I’m about to read. Please just stop.
Lol un equipo de Google (+ un colaborador de la uni de Aarhus) ha sacado este paper anunciando que han resuelto 9 de 353 problemas abiertos de Erdős con LLMs y verificación con Lean
Like many mathematicians, I’m a bit shell-shocked by the OpenAI breakthrough on the unit-distance problem, which was an 80-year-old one posed by Erdős.
What does this mean for research mathematicians and for mathematics in general?
A stream-of-consciousness thread
Google saying millions of people use AI Overviews is like saying millions of people love to breathe 500+ AQI air. They don’t. They simply exist in a place where the air has been polluted and have no choice to leave.
Stop shoving down AIO people’s throats and see the number drop.
I fully solved my 2nd Erdős Problem using ChatGPT-5.5-Pro - and then I verified the solution by formalizing it!
Less than 2 days after solving my first Erdős Problem, after running Pro for a few hours I was able to elicit the solution, this time in analytic number theory! 🧵1/n