Jared Duker Lichtman

Update on Erdős Problem 1196: In joint work, we refined and adapted the proof method from GPT-5.4 Pro to give proofs of several additional problems. This includes another 60 year old conjecture by Erdős, Sárközy, and Szemerédi. A proof is valued not just by the problem it solves, but by what new avenues it opens up. This is perhaps one of the first examples of an AI-generated proof having downstream impacts, which we are still exploring. We are announcing the result today at the Future of Mathematics Symposium (see links below)

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried. openai.com/index/model-di…

Formal and Informal Methods - Freedman, Barrett, Abouzaid, Haskell youtu.be/SNKlwARCtkk. AI for Mathematics - Arora, Brown, Luong, Vakil youtu.be/hjh4IfJDeN4. Fields & Roundtable - Tao, Viazovska, Vakil, Haskell youtu.be/78Rjdz1SPYM.

All Future of Mathematics Symposium talks are now available on Youtube, linked below. Panels: Formal and Informal Methods - Freedman, Barrett, Abouzaid, Haskell AI for Mathematics - Arora, Brown, Luong, Vakil Fields & Roundtable - Tao, Viazovska, Vakil, Haskell

Sébastien Bubeck: Probability, combinatorics and optimization from GPT-5 to GPT-5.5 youtu.be/YlFV45lsPoU. Sanjeev Arora: Rethinking thoughts - Power of self-reflection for AI (and humans) youtu.be/j22Iz0ked-4. Terence Tao: New mathematical workflows youtu.be/Uc2zt198U_U. Thang Luong: Towards AI Superhuman Reasoning- from neuro-symbolic to foundational models youtu.be/MNVo14pIMo8. Maryna Viazovska: Formalizing the sphere packing problem youtu.be/lcgPj7hge-E. Sergei Gukov: AI tools for long-horizon, sparse-reward tasks youtu.be/jJOMZ3LPbVs.

All Future of Mathematics Symposium talks are now available on Youtube, linked below. Day 2 talks: Sébastien Bubeck, OpenAI Sanjeev Arora, Princeton Terence Tao, UCLA Thang Luong, DeepMind Maryna Viazovska, EPFL Sergei Gukov, Caltech

Leonardo de Moura: Machine-Checked Mathematics in the Age of AI youtu.be/objFfoJRH_U. Clark Barrett: CSLib - Building a Platform for AI-assisted Formal Verification in Lean youtu.be/txRvy9hv52M. Michael Freedman: Compression Is All You Need - Modeling Mathematics youtu.be/4nM82nZzIxU. Kevin Buzzard: On Autoformalisation youtu.be/etZzn1Q7is0. Andrea Bertozzi: A foray into AI for Mathematics youtu.be/bx4BfuVFaPg. Adam Brown: A.G.I. and the Future of Reasoning youtu.be/gf1uwCH0HUU. Deirdre Haskell: Mathematical AI at the Fields Institute youtu.be/8lcHpsuIsOM.

All Future of Mathematics Symposium talks are now available on Youtube, linked below. Day 1 talks: Leonardo de Moura, Amazon Clark Barrett, Stanford Michael Freedman, Harvard Kevin Buzzard, Imperial Andrea Bertozzi, UCLA Adam Brown, DeepMind Deirdre Haskell, Fields Institute

@Bayesprof 👀

I was thinking about exactly this; Erdos was an amazing problem poser that connected seemingly disparate fields. Research that shows how to pose conjectures is the next frontiers. I wouldn’t be surprised if a baby version of this is already out there.

Michael Freedman: Compression is all you need youtu.be/4nM82nZzIxU

Maryna Viazovska: Formalizing the sphere packing problem youtu.be/lcgPj7hge-E

The Future of Mathematics Symposium keynotes from Fields Medalists: Terence Tao, Maryna Viazovska, and Michael Freedman Now available on Youtube, links below.

@AcerFur Mine is also quite unique...story for another time

@AcerFur Everyone has their own unique path

lol most people don’t know this, but I am quite bad at the Cambridge maths tripos. I am terrible at thinking about several questions on fields that I don’t particularly care for each within 30 mins in exam conditions… Tbf Roth only barely passed the tripos and he ended up fine.

Agree completely: Regardless of what actually transpires in the coming years, there is already sufficient evidence that the mathematical community must start planning now on how to adapt to potential futures.

@ElliotGlazer sounds like the premise to a movie

Coming back to FrontierMath for one last job 🤜🤛

@jdlichtman This symposium was historically significant. I enjoyed listening in.

@jdlichtman Thanks for organizing, Jared! Great event!

The full livestream is available for the public on Youtube: @FoMathematics" target="_blank" rel="nofollow noopener">youtube.com/@FoMathematics Videos of the individual talks coming out in the next couple weeks!

Thank you to everyone coming out to attend the Stanford Future of Mathematics Symposium, along with those watching the livestream! The event was announced at the last minute two weeks ago, yet we received over one thousand registrants, and three thousand viewed the talks on YouTube. The Symposium was absolutely buzzing with excitement. To our excellent group of speakers and panelists, you made it a truly remarkable event. These discussions are of vital importance to the mathematical community. Finally, thank you to the staff and donations that made it all possible.