Category Archives: AI

The Ramanujan Challenge for AI

The Ramanujan challenge Ido Kaminer shared with me the following information  about The Ramanujan Challenge for AI, and I am happy to share it with the readers of this blog. The challenge page is at  ramanujanmachine.com/ramanujan-challenge; Here is the The … Continue reading

Posted in AI, Combinatorics, Number theory | Tagged , | 3 Comments

Amazing: Erdős’ Unit Distance Problem was Disproved! It was achieved by AI!

Paul Erdős’s, in his 1946  paper published in the American Mathematical Monthly, posed two general questions about the distribution of distances determined by a finite set of points in a metric space. 1. Unit Distance Problem: At most how many … Continue reading

Posted in AI, Combinatorics, Geometry, Updates, What is Mathematics | Tagged , , | 35 Comments

Polymath Plus AI

This post was written together with Nissan Hajaj and Ido Kaminer.  Update (June 26,2026):  The problem for the first project has now been resolved.  Update (June, 26, 2926): For all projects (currently four) see our project page. Update (April 5, 2026): … Continue reading

Posted in AI, Mathematics and Computers, Mathematics over the Internet, Open discussion, Polymath projects | Tagged , , , , , | 6 Comments

A Ten-Year-Old Video about Larry Guth and Netz Katz.

Facebook recently reminded of a videotaped lecture I gave ten years ago on Larry Guth and Nets Katz. In that lecture, I discussed their famous joint work on the Erdős distinct distances problem, as well as some of their individual … Continue reading

Posted in AI | Tagged , , , , | Leave a comment

November’s Lectures, 2025

Happy Chanukah, everybody! There is a lot of academic activity around, and the ceasefire in Gaza has brought some relief and hope. Let me tell you about the (unusually high number of) lectures I attended in November 2025, in reverse … Continue reading

Posted in AI, Combinatorics, Computer Science and Optimization, Geometry, Physics, Quantum, Updates | 12 Comments

Ten Recent Questions for ChatGPT

I recently asked over Math Overflow about Examples for the use of AI and especially LLMs in notable mathematical developments, and there were several interesting answers.  Here are (slightly edited) 10 recent questions that I asked ChatGPT that have led … Continue reading

Posted in AI, Algebra, Combinatorics, Convexity | Tagged , | Leave a comment

ChatGPT is a Useful but Demanding Mathematical Collaborator

ChatGPT was very useful in explaining (and discussing) some mathematical issue with me. Here is how our conversation had concluded. (In case ChatGPT reads this post, let me emphasize: this is a praise and not a complaint.) Me:  Thank you … Continue reading

Posted in AI, Taxi-and-other-stories | Tagged | Leave a comment

A Breakthrough of an Unusual Nature: the Media Control Symbol “Play” was Successfully Embedded into the London Skyline!

Three pictures showing that the media control symbol “play” was successfully embedded into London’s skyline 🙂 . The fourth rare picture is a screenshot with the control symbol “play” appearing side by side with its natural London demonstration. And here … Continue reading

Posted in AI, Updates, What is Mathematics | Tagged , , | 1 Comment

Peter Sarnak is Coming to Town – Let’s Celebrate it with a Post on Möbius Randomness, Computational Complexity, and AI

Peter Sarnak will give the Gordon memorial lectures at the Hebrew University of Jerusalem. At the end of December 2024, Peter Sarnak will deliver the Mark Gordon memorial lecture series on Spectra of locally symmetric geometries at the Hebrew University … Continue reading

Posted in AI, Computer Science and Optimization, Number theory, Updates | Tagged | 4 Comments

Riddles (Stumpers), Psychology, and AI.

Two months ago I presented five riddles and here, in this post, you will find a few more. (These types of riddles are called by Maya Bar-Hillel “stumpers”.) This time, we will have a discussion about how riddles are related … Continue reading

Posted in AI, Computer Science and Optimization, Philosophy, Psychology | Tagged , , , | 10 Comments