Goldreich’s short take on AI proofs is thought-provoking (and the Borges reference is quite on point). www.wisdom.weizmann.ac.il/~oded/on-pro...
On AI replacing Mathematicians
wisdom.weizmann.ac.il
Helger Lipmaa
@helger.bsky.social
Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs.
TMLR has faced a deluge of submissions, necessitating stricter desk rejection policies due to limited reviewer capacity Co-EiC Nihar Shah reached out to authors of 10 papers slated for desk reject. Could they answer questions about their *own* submission? medium.com/@TmlrOrg/ask...
Asking Authors About Their Own Papers
By Nihar B. Shah
medium.com
"This model has now resolved more than 100 long-standing open problems across most areas of mathematics." openai.com/index/adviso... terrytao.wordpress.com/2026/09/21/a... agmai.org
Advisory Group on Mathematics and Artificial Intelligence
OpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.
openai.com
We finally finished the universal signature forgery for 1024-bit RSA! 2^32 oracle queries, 1200 core years precomputation, 180 core years for an individual forgery, and 3 years of human labor (no AI involved) by Laura, Adam, Nadia, Emmanuel and me to pull of this computation against real HSMs.
Emmanuel Thomé@emmanuelthome.bsky.social · last wk.Forging 1024-bit RSA signatures in nearly SNFS time Hand over your HSM for some time, and we can forge signatures for its key. Arbitrary signatures. Forever. github.com/ucsd-hacc/NS...
but who else should be using AI submission but people in the ML community who know AI inside out?
Transactions on Machine Learning Research@tmlrorg.bsky.social · 2w agoTMLR has faced a deluge of submissions, necessitating stricter desk rejection policies due to limited reviewer capacity Co-EiC Nihar Shah reached out to authors of 10 papers slated for desk reject. Could they answer questions about their *own* submission? medium.com/@TmlrOrg/ask...
A different view. As a cryptographer (or maybe, as me - some cryptographers are in a different camp), I mostly agree with what @wtgowers.bsky.social is saying - my goal is to solve problems, and if AI does it better, then so be it. My problem is ethical. The way (say) OpenAI approaches it is wrong.
Timothy Gowers@wtgowers.bsky.social · 2w agoI've written a blog post responding to the letter about maths and AI signed by 25 Fields medallists. As with the Leiden Declaration, I didn't sign it, but I agree with much of it and welcome its existence. gowers.wordpress.com/2026/09/17/w...
“Now Lean, particularly in Navier-Stokes papers, is being used as a time-stamp, a way to claim your theorem before having to write it up properly in an explainable way.” A sentence that would’ve been seen as the ravings of a madman just ~1 year ago. blog.computationalcomplexity.org/2026/09/navi...
Navier-Stokes and Lean
I was working on this week's post on Lean after reading Kevin Hartnett's book The Proof in the Code: How a Truth Machine Is Transforming Ma...
blog.computationalcomplexity.org
Am teaching grad complexity theory at CMU; about 1/3 of the lectures will be new (vs. last time), 'modern' results. Videos are going onto www.youtube.com/@ComplexityT... which will later also feature student videos. We did Williams (/Cook-Mertz/Shalunov) TIME(t) in SPACE(~√t) today.
Complexity Theory At Carnegie Mellon
youtube.com
Millennium math problem solved by OpenAI may have "regurgitated" competitors unpublished work... also they spent more than $22 million in computing power in one week to scoop them. techcrunch.com/2026/09/08/o...
OpenAI fought dirty on career-making math problem, says NYU mathematician | TechCrunch
There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.
techcrunch.com
Dancing very very VERY close to saying “OpenAI stole our almost-complete proof of Navier-Stokes from internal access to our ChatGPT sessions because they were desperate to scoop Anthropic” which is absolutely 100% a believable thing OpenAI would do right now cims.nyu.edu/~tristanb/st...
Mathematicians and AI. Kraftwerk was so much ahead of its time. www.youtube.com/watch?v=6ozW...
Kraftwerk - Pocket Calculator - Official Music Video
YouTube video by BrKlingKlang
youtube.com
We quantified how much closer OpenAI's improvement over MRRW brings us to GV lower bound: at most 2%. Gain over MRRW: at most ~1%.
Like many others I was feeling the lack of a platform where the full spectrum of opinions (in particular also lesser heard voices) on "math and AI" may get an audience. Now here it is! Think about contributing and share it widely! proofsandprompts.com #math #mathsky #llm #AI #mathandai
Proofs and Prompts
Notes from the common room
proofsandprompts.com
We asked an unreleased research version of Claude to take a stab at the Riemann hypothesis. It didn’t solve it, but it did make strides on a related problem: it increased the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis from 41.6% to 67.2%.
Learning more about Claude's mathematical capabilities
An unreleased version of Claude has made strides on a problem related to the Riemann hypothesis. It improved the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis, increasing it from 41.6% to 67.2%.
anthropic.com
Isik Ulusan, a U Mass student, created Complexle, like Wordle but you guess complexity classes. For each guess you get hints (set-theoretic inclusion, the type of model it is defined on, uniformity, etc.) for a total of 6 guesses. Give it a try. iulusan.github.io/co...
This reminds me of the numerous stories about how wishes to genies backfire. AKA The Monkey's Paw (en.wikipedia.org/wiki/The_Mon...)
The Monkey's Paw - Wikipedia
en.wikipedia.org
Mary Gillis@marygillis.bsky.social · 2mo agoEveryone keeps describing this as "rogue" behaviour, but weren't these agents doing what they were programmed to do, with the usual AI drift? Like, if you program a robot to stab people, and leave it on, and it stabs someone you weren't expecting it to stab, did it go rogue? Or are you just a dolt?
1/ Initial reactions after some hours with this groundbreaking result proving the NP-hardness of poly-approx CVP/NCP: It is most likely correct, but more importantly, it is original, elegant, and beautiful! (Also: it is easy to improve, quantitatively.) openai.com/index/ten-ad...
Ten advances in mathematics and theoretical computer science
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
openai.com
I wrote about OpenAI's Astra results, how AI will dissolve mathematics, and how people will cope about it: borretti.me/article/math...
Mathematics Without Mathematicians
We must know. We shall not know.
borretti.me
OpenAI claim a proof that CPV is NP-hard for polynomial approximation factors. openai.com/index/ten-ad...
TCS+, the longest-running theoretical #computerscience seminar, will soon resume for the Fall. Let us know what you'd like to hear about (results, speakers, topics), and any suggestions you may have! sites.google.com/view/tcsplus... #TCSSky @tcsplus.bsky.social
TCS+ - Suggest a talk
Suggest a talk
sites.google.com
next Greek epic for hollywood treatment needs to be Euclid's Elements. overdue
This is a very cool and exciting discovery by Claude Mythos! It found a serious 𝒎𝒂𝒕𝒉𝒆𝒎𝒂𝒕𝒊𝒄𝒂𝒍 attack on the post-quantum signature scheme HAWK, an "on-ramp" candidate for potential NIST standardization. www.anthropic.com/research/dis...
Discovering cryptographic weaknesses with Claude
Anthropic researchers find weaknesses in cryptographic algorithms with Claude Mythos Preview
anthropic.com
New York University professor Hong Wang has won the Fields Medal for her work three-dimensional Kakeya set conjecture, inspired by a simple question that has puzzled mathematicians for more than a century. But what is a “Kakeya-type” problem?
A Once-in-a-Century Proof: The Kakeya Conjecture
A simple question about a spinning needle has haunted mathematicians for more than a century. It led to the Kakeya conjecture, a cornerstone of modern analysis connecting geometry, fractals, and the…
youtube.com