Math prof. Author of long-form textbooks on proofs (amzn.to/3oZrMNu), real analysis (amzn.to/2kjvMwh) & math history (a.co/d/8pLSo0C).
Sacramento, CA
- Tweets 6,981
- Following 599
- Followers 51,960
- Likes 29,820
Jay Cummings retweeted
I was part of a group that met last week to try to propose recommended changes to the structure of math PhD programs in an age of AI. Our report, together with a collection of related resources, is now available here:
cmsa.fas.harvard.edu/aimathp…
10
101
411
58,692
lol I do!
piped.video/@longformmath?si…
1
3
140
Jay Cummings retweeted
I was invited to be an editor to this book and I was happy to contribute to this edition. This is the type of writing that can not be automated, because it has soul in it.
6
2
64
2,330
A few weeks ago I came across this too. I spent a week going through it writing my own version of Astra’s proof.
First takeaway: It was fun! Very cool theorem, and quite enjoyable to wade through Astra’s (imo not great) proof and find a version that I like.
It was also a good exercise in what lots of future math scholarly work might look and feel like.
I plan to put out a YouTube video of it next week.
A few weeks ago Astra gave a stunningly simple proof of the Erdős-Sós conjecture in graph theory (previously thought to be very difficult).
It has been a good example of how the lifecycle of AI proofs should be: after the AI formalisation posted at erdosproblems.com/548
1/
3
6
77
6,721
Jay Cummings retweeted
Look what arrived today. Wanted to read this for a while. @LongFormMath
3
2
21
3,338
Jay Cummings retweeted
Breaking math news: The first-ever 3D Einstein tile, an object that tiles space in a never-repeating pattern, has been found by independent researcher Ioannis Tsiokos using GPT Astra. Resembles a chair. Mathematicians have de-slopped the proof. @kkakaes: quantamagazine.org/updates/t…
54
274
1,931
155,058
Each paper is converted to a numeric code.
Each paper’s coded text must appear somewhere in the digits of pi.
Just need to know which digit position to start reading.
To learn that position, mathematicians have to solve a sequence of riddles.
This is where MrBeast comes in.
The riddles are hidden inside 100 locked safes scattered across math department libraries around world.
To get into each safe, a top mathematician needs a solve a basic arithmetic problem in less than 10 seconds while standing at the front of a lecture hall being watched by all their colleagues.
Only 20 tries and then you’re locked out forever.
Once inside, you get the riddle, right?
Wrong. This is when Stage 2 begins.
This advisory group created by IAS is advising OpenAI in how to release their math results
Mathematicians can give their opinion in this link
agmai.org
I share publicly my opinion below (more than happy to have debate / disagreements in the responses!)
4
3
80
6,859
Decades worth of “progress” can now be accomplished in 3 weeks using a single model.
The era of theorem abundance is here.
We’re working with an independent advisory group of mathematicians to help OpenAI responsibly share advances in AI and mathematics.
The group will advise on how we assess and communicate new mathematical results, uphold academic and professional standards, and build tools that support mathematical research and learning.
Through this work, we want mathematicians to be at the center of shaping how AI supports mathematical understanding and how its benefits reach the wider community.
openai.com/index/advisory-gr…
25
18
411
18,603
The Bernoullis were more than a family of mathematicians; they formed a remarkable mathematical dynasty.
Across several generations, Jacob, Johann, Daniel, and others made important contributions to mathematics and mathematical physics during the 17th and 18th centuries, alongside figures such as Newton, Leibniz, and Euler.
Their story also includes one of the most famous rivalries in mathematical history. Jacob and Johann initially collaborated in studying Leibniz’s calculus, but their relationship gradually deteriorated into a bitter and very public competition, with the brothers challenging and criticizing each other over mathematical problems and priority.
Whether this rivalry actually fueled their achievements is difficult to establish. What is clear is that their intense competition existed alongside work of lasting importance, and their family became one of the most influential mathematical lineages in early modern Europe.
20
737
12,587
1,030,696
For being able to understand them and undoubtably getting a great lecture: Von Neumann.
For the sheer thrill of seeing them: very hard choice but I’ll choose Archimedes.
33
3,099
Don’t pick Newton.
As a professor at Cambridge he was required to give periodic lectures but he was so bad at it that often not a single person would show up.
(Being a man of honor, he would lecture anyways—to an empty room.)
74
85
3,340
168,588
Around 12 years ago I asked Ron Graham who he thought was the greatest living mathematician. He said, "Well most people would say Tao, and he very well might be, but I'll say Serre."
Jean-Pierre Serre turns 100.
Youngest Fields Medalist ever: 27.
First Abel Prize laureate: 2003.
and still editing Wikipedia.
9
36
619
33,308
If the math profession collapses, I would be depressed enough that I might actually read his novels
JUST IN: Chinese Fields Medal winner Deng Yu announces he’ll retire from mathematics & write romance novels if AI becomes capable of solving all math problems.
Community note
Deng Yu joked on social media that he would write his yuri novel if AI solved all math problems and clarified it was not serious; the post inaccurately frames this as an announcement of retirement and uses "romance novels" for the specific yuri genre of lesbian fiction.
scmp.com/news/china/sci…
en.wikipedia.org/wiki/Yu_Den
25
28
544
21,872