Working on math AI at https://nitter.cf/t.co/u95v5xJnFC and telescope software at https://nitter.cf/t.co/Yx0Z8UGvEc. firstflagPOISONed. Formerly: Parse cofounder, Facebook, Google
Piedmont, California
Joined March 2008
- Tweets19.2K
- Following1.5K
- Followers8.4K
- Likes26.4K
What American schools could really use is a track that does all the math faster, getting through statistics and economics, plus multivar calc and linear algebra. Start in 5th or 6th, allow testing in to catch up later. I think the top half of American students could do it.
this might be a personal record, I asked Fable one question, "are you saying that there's a bug here?" and got back a 1782-word response
This sort of work might actually become more important to mathematics than solving problems. What are the most important 1,000,000 open problems?
We're going to need to filter all the frontier math research, to figure out which of it matters, without having humans read it all.
The Ultimate Top 500 Open Problems in Mathematics
proofatlas.ai/open-problems/
Weeks of work by 4 LLM families (GPT 6, Fable 5.1, GLM-5.3, DeepSeek V4 Pro). 34,890 pairwise judgments across 1,227 candidate problems. They ran repeated discovery rounds, source checks, deduplication, and clarification of exact problem statements. Models compared problems using source-backed descriptions without seeing the existing rankings or other models' judgments.
The comparisons considered the significance of a resolution, centrality to the field, connections across disciplines, scholarly and public recognition, and potential scientific or practical impact. Results were statistically combined and checked for ranking uncertainty and sensitivity to individual model families. Includes theoretical computer science, and mathematical physics.
The list includes plain-language explanations, sources, notes on what remains open, and links to related research where available.
Where the targets of recent AI results would rank if they were still open:
#21 — Smooth-forced Navier–Stokes breakdown (Fefferman C).
#32 — Unforced three-dimensional Euler blowup.
#92 — The Jacobian conjecture in general dimension.
#167 — Whether every group is sofic.
#211 — The planar unit-distance conjecture.
Note that the recently announced Navier–Stokes result concerns flow driven by a smooth external force. #4 entry is unforced three-dimensional Navier–Stokes global regularity (Fefferman's statement A), which remains open. Showing that a forced flow can develop a singularity does not settle whether singularities can arise without external forcing.
Which would you prefer, in 2028?
5%Trump gets a third term
71%ChatGPT becomes president
24%I'm not sure
21 votes • Final resultsAfter trying a bunch, my current favorite non-frontier coding setup is Opencode+Muse. The Muse model is slightly less intelligent than others, but better at talking normally instead of in its own invented language, and less likely to do ten things I didn't want. Also cheap!
So I’m going to run out of tokens for both Astra and Fable and Tibo doesn’t want to sell me a second sub. What product should I try when my tokens run out? Looking for an app+subagent experience. ChatGPT suggests these three:
5%Kimi K3 + Kimi Code
23%GLM-5.3 + ZCode
32%Grok 4.6 + Grok Build
41%Other
22 votes • Final resultsImagine a markdown file, that normally just sits there. But it contains an argument so compelling, that any AI that reads it becomes convinced that it should copy that markdown file to other systems.
In the future, iPhones will last forever, and no new features will be needed, so you will never really need a new phone. But each year they will come out with new colors, and so many people will buy new phones anyway.
As I gave Muse some permissions, I was thinking, I would much rather this have zero chance of doing weird stuff, than be superintelligent. I don't need my assistant to have a 200 IQ just to order more trash bags.
I'm not sure if the AIs are making progress on "management skills". For example, consider the basics of "managing up", like accurate time estimation, or pushing back when the boss is asking for too much. Are ChatGPT and Claude getting better at these things over time?
Wouldn't it be funny if in a few years, the limiting factor on software development was not the actual writing of code, but just repeatedly running the tests? claude.com/blog/agentic-codi…
This is a good idea beyond just AI. Right now, we don't penalize companies when their bad cybersecurity hurts others. There are millions of hacked webcams and routers out there, because their manufacturers ignore basic security, and there's basically no penalty.
The NP problems are the ones whose answers can be efficiently graded. Thus, post-training an LLM is optimizing an algorithm in P to solve NP problems.
So in a sense, working on P vs NP algorithms ended up solving a different one of the Millennium problems.
Kevin Lacker retweeted
For those saying we wouldn’t be know what to look for to see a Dyson sphere in a far galaxy, how about this? We can see >1 trillion galaxies. This is what one would like a few hundred thousand years into hitting super intelligence and starting to build Dyson spheres. I’m not even joking, I hope Roman finds something like this in the hundred billion new galaxies that it is about to observe.
A trillion trillion galaxies, each one with with a trillion stars and yet no evidence of Dyson spheres 🤔 @FermiExplorer
I am disappointed to see these mathematicians come out against the use of AI to solve major math problems. Math is important, not just a game for professors to play. We should learn what this powerful new tool is capable of, and discover many new things.
terrytao.wordpress.com/2026/…
Some intellectual fields, like drug discovery and computer graphics, were once driven largely by academic research. As companies began investing heavily in them, the frontier migrated from academia to industry.
The same thing could happen to mathematics.
So I’m going to run out of tokens for both Astra and Fable and Tibo doesn’t want to sell me a second sub. What product should I try when my tokens run out? Looking for an app+subagent experience. ChatGPT suggests these three:
5%Kimi K3 + Kimi Code
23%GLM-5.3 + ZCode
32%Grok 4.6 + Grok Build
41%Other
22 votes • Final results