🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I suggest that the mathematicians in my twitter circle carefully follow this this is the first instance, in my career, of an AI tool being genuinely, non-trivially, surprisingly useful

For anyone in the NYC area: I'm giving the IHES Public Lecture on Thursday. Registration and more info here: friendsofihes.org/index.php/2025…

Looking forward to tonight's event at National Museum of Mathematics at 6:30 with Steven Strogatz and Alex Kontorovich! A screening of my video about the Archimedes Palimpsest, followed by a Q&A.

Wow! A lot has been happening in this space... (More info coming soon...)

My testimony. Follow us at savemath.net #LegalizeMath

At IAS lunch yesterday: "It's OK that AI will soon be better at math than humans, we'll survive -- just look at chess" "But chess is merely a form of entertainment" "... and what do you think is research math?" !!! :)

Math is under attack. Math is relentlessly hierarchical by nature. Kids are often missing foundational skills from K-8, so they struggle in later math courses. Instead of fixing that, it’s easier to create fake math classes in high school and tell everyone it doesn’t matter.

Following up on this: my excitement was premature; please see, e.g., Jason Rute @ JMM 2025's post on zulip pointing out a lot of issues with DeepSeekProverV2: leanprover.zulipchat.com/#narrow/channe…

A youngster pressed me on my “goals” (in mathematics). In responding, I realized that they’re all to teach math: 1) to myself (i.e., basic research), 2) to computers (formalization / AI), 3) to the present (public outreach / MoMath / YouTube), and 4) to the future (education /

This is how I felt last week during the IAS / DeepMind workshop... (More on that soon...)

We mathematicians have a 50 year head start on this issue! "Why should I learn my times tables when my pocket calculator can do it for me?" It's pretty simple: feel free not to; you'll pay dearly for it later. Same 20 years ago with Calc 1 ["Mathematica can compute this

Really like and respect Ralph, but I strongly disagree with the statement that "speed and memorization were key impediments that served as a way to exclude people from mathematics". It is my opinion that statements like these, however well intentioned, are *in practice* what

One cool thing I learned at the DeepMind meeting last week (I'm a few years late to this party) is how they use ML techniques to solve PDEs. It's as brilliant as it is simple. Say you have some nasty PDE and you're trying to find numerical solutions. A dummy like me would

I think that part of the discord here is due to different meanings of the word "speed"; one meaning is "talent" (that is, rate of acquisition of skill over unit of effort) and the other is "fluency" (having acquired a level of skill, through deliberate practice, so that execution

After 1.5 years of work, I'm so excited to announce AlphaEvolve – our new LLM + evolution agent! Learn more in the blog post: deepmind.google/discover/blog/… White paper PDF: storage.googleapis.com/deepmind-media… (1/2)

How useful is it to compare artificial intelligence to a human brain? Listen to the first episode of the all-new Quanta Podcast. Apple Podcasts: podcasts.apple.com/us/podcast/the… Spotify: open.spotify.com/episode/2FJLYn…

"When I call on college freshmen to demonstrate one of Euclid’s geometrical propositions on the classroom blackboard, I’m never sure what to expect." I like it already...😊 How to Stop Students From Cheating With AI by John J. Goyette wsj.com/opinion/how-to…

Great news for the #LeanLang verification community! "Lean-SMT... is a significant step toward building a Lean hammer that enhances automation... The ultimate objective is to develop a Lean hammer that brings unprecedented automation and verification capabilities to Lean."