math @IISERMohali ┃ Let the universe awake.

Joined January 2022
Aryan Bhargav retweeted
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
328
2,509
465
4,949
1,953,525
Aryan Bhargav retweeted
The only way to make sense of the world right now Is to understand we’re approaching the singularity Spacetime is becoming more curved, and relative times are disturbed
238
207
59
3,150
270,131
How is it possible that two separate AI labs got the refutation of ETH, one of the most important result in complexity theory on the exact same day(16 Oct)?
“The core algorithm was found on October 16 by an internal Claude research model with 14M output tokens and no human input. Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.” github.com/anthropics/formal…
1
80
Aryan Bhargav retweeted
the weakest form of anti-technological arguments rely on limitations of the technology
63
53
12
1,092
37,908
Aryan Bhargav retweeted
before capitalism, everyone assumed most people were only good for farming. take them off the fields and you’d have millions of useless mouths to feed. that’s the ai panic word for word: automate cognitive work and you get billions of useless minds except when farming went from 80% to 2% of people, it didn’t make useless mouths. it made everyone else we don’t know much about the ambitions of people who’ve never had the means to act on them. people learn what’s realistic, not what would need a team, take years, or feel like someone else’s job. after a while the limits feel like preferences. so when someone says “most people just use ai for emails,” that’s not a fact about people. it’s how small they’ve learned to want being able to do more will fundamentally change what we want. which is why every prediction built on how people use ai today is far too small contraptions.venkateshrao.co…
20
60
7
415
23,996
RT @polynoamial: Only 2.5 years ago, AI labs would brag about their frontier LLM performance on grade school math benchmarks (GSM8K). I can…
This quoted post is unavailable.
9
1
Aryan Bhargav retweeted
Work hard in silence. Let success be your noise. 🏆
18,397
201,095
18,175
1,265,661
23,754,058
Aryan Bhargav retweeted
can't believe it's actually working
OpenAI has announced to three new discoveries in mathematics, computer science, and physics: - Local smoothing and the Kakeya conjecture - The Exponential Time Hypothesis is false - Existence of quantum chromodynamics and completions of the Standard Model
22
99
10
2,048
63,515
Physics results are deferred to the 5-member Ministry of Truth
Replying to @danintheory
The physics collaboration will understand and explain a result that gives a mathematically rigorous existence proof of certain interacting quantum field theories containing gauge fields and fermions in four dimensions, including Quantum Chromodynamics (QCD) and a unified completion of the Standard Model of particle physics. As a subproblem, this work also includes a proof of the existence of pure Yang–Mills theory, which is part of the Quantum Yang–Mills Theory Clay Mathematics Institute Millennium Prize problem. These proofs are all formally verified in Lean. Our models produced a natural language proof for Yang–Mills existence, and then subsequently produced a proof for QCD After the formalization completed, we reached out to David Gross. David will lead a group including Michael Douglas, Arthur Jaffe, Igor Klebanov, and Nikita Nekrasov that will shepherd this work, and we will defer to them on the release of materials. Gross’s work on asymptotic freedom in Yang-Mills theories helped establish QCD as the theory of the strong interactions and earned him a share of the 2004 Nobel Prize in Physics. Jaffe formulated the Quantum Yang–Mills Theory Millenium Prize problem with Witten and also envisioned the idea of Millennium Prize problems and co-founded the Clay Mathematics Institute. Douglas has already been a steward of this problem over the last 20 years; Klebanov helped pioneer the application of gauge–string duality to confinement, an important property of QCD, and now directs the Simons Collaboration on Confinement and QCD Strings; and Nekrasov has done groundbreaking work on exact methods for generalizations of Yang–Mills theory.
7
371
they should IMMEDIATELY release this we do no need shepherds
Replying to @danintheory
The physics collaboration will understand and explain a result that gives a mathematically rigorous existence proof of certain interacting quantum field theories containing gauge fields and fermions in four dimensions, including Quantum Chromodynamics (QCD) and a unified completion of the Standard Model of particle physics. As a subproblem, this work also includes a proof of the existence of pure Yang–Mills theory, which is part of the Quantum Yang–Mills Theory Clay Mathematics Institute Millennium Prize problem. These proofs are all formally verified in Lean. Our models produced a natural language proof for Yang–Mills existence, and then subsequently produced a proof for QCD After the formalization completed, we reached out to David Gross. David will lead a group including Michael Douglas, Arthur Jaffe, Igor Klebanov, and Nikita Nekrasov that will shepherd this work, and we will defer to them on the release of materials. Gross’s work on asymptotic freedom in Yang-Mills theories helped establish QCD as the theory of the strong interactions and earned him a share of the 2004 Nobel Prize in Physics. Jaffe formulated the Quantum Yang–Mills Theory Millenium Prize problem with Witten and also envisioned the idea of Millennium Prize problems and co-founded the Clay Mathematics Institute. Douglas has already been a steward of this problem over the last 20 years; Klebanov helped pioneer the application of gauge–string duality to confinement, an important property of QCD, and now directs the Simons Collaboration on Confinement and QCD Strings; and Nekrasov has done groundbreaking work on exact methods for generalizations of Yang–Mills theory.
13
20
11
376
49,208
odds of P=NP should be a little up, now that ETH is refuted.
49
AGMAI has posted a statement to clarify one aspect of its recent recommendations to AI companies, concerning whether they should nominate specific mathematicians to work on understanding their results. Tl;dr we think it's better if they don't. agmai.org/#disadvantages-des…
14
25
8
158
36,261
“If AI continues to bulldoze pure math, it’s going to crush the hopes of the young people who were dreaming of joining this tradition.” With all due respect, AI ain’t bulldozing anything. This is an unnecessarily apocalyptic way to describe what is happening. And as for crushing hopes, I suspect these apocalyptic narratives are doing more hope crushing than a collection of PDFs idly sitting in a repository. It’s some mathematicians’ pride that got crushed. Other mathematicians are simply engaging: reading, understanding, explaining, experimenting, developing new ideas, writing papers, and, yes, advancing mathematics. Of course, our profession needs to adapt many of its practices and habits, and quickly. But unless the most pessimistic voices in mathematics, the math Cassandras so to say, eventually convince the world to defund mathematics, there will be jobs, because there will be a great deal to do. What, exactly, is the proof of forced Navier–Stokes useful for until the ideas in it are extracted from the Lean proof and its confused, sloppy, natural-language translation, and integrated into scientific discourse? A mathematical proof does not automatically become part of our mathematical understanding simply by existing. Someone has to understand it, explain it, connect it to what we already know, and determine what else can be done with its ideas. This is not a secondary activity that mathematicians perform after the real work has been done. It is a fundamental part of how mathematics advances. And it remains central to science, unless the plan is to delegate our entire intellectual life to machines and go live like brutes, mindlessly spending our (very hypothetical) universal basic incomes. One further point: people are only focusing on LLM-generated proofs, but how many papers will humans write without using an LLM, simply in response to the new ideas and perspectives that enter the field? It is not even clear to me that the best results will necessarily come from LLMs. Mathematicians have changed science in small and large ways, over and over again, through fifteen-page papers built around a single lateral insight or a powerful vision. Why should that stop now? There will be a lot of work to do: Why should young mathematicians see this as the end of their intellectual ambitions? The ongoing apocalypse is psychological rather than technological, and it is not being imposed on us by frontier labs. It’s more into how some of us have decided to think about this. I totally understand the initial emotional reaction, but maybe it’s time to move on. Let’s get back to work. Advance mathematics, improve math education, demonstrate why our work deserves support. That is how we secure our future. Young people will adapt faster than we do, and soon enough they will be leading the way.
26
33
6
248
17,532
Aryan Bhargav retweeted
Still couldn't believe this was made by a Japanese anime director
99
1,322
122
16,989
1,324,324
Aryan Bhargav retweeted
A video about the state of cybersecurity as of October 2026
47
716
63
5,391
151,620
Aryan Bhargav retweeted
I disagree with many parts of this response, but I will focus on one in particular. The anonymous PhD student wrote: "seeing mathematicians greet this release of papers with excitement and joy is beyond confusing. Many celebrate the possibility that AI will relieve them of the burden of difficult calculations, technical lemmas, and other supposedly tedious aspects of mathematical research...I love technical work...I can tell you that I entered graduate school fully intending to pursue a career as a research mathematician. The actions of October 6th have reversed this, and I’m probably not the only one." Lozeno-Robledo responds: "We need to make sure students do not abandon mathematics because they think it has become unrecognizable." I disagree. We are going through a revolution in mathematics. It will change many aspects of what it means to be a mathematician. I believe mathematicians will continue to have a key role in mathematical discovery, at least in the near term, and the profession will continue to be one that attracts many people of the highest calibre. And yes, training these people will include us finding ways of making them struggle, perhaps in line with Niall Ferguson's "the cloister and the starship" suggestion. But there is no reason to expect that the people for whom the new mathematics will be the right profession are necessarily the same people for whom mathematics as we have known it was the right one. If a student finds that the profession is becoming unrecognisable, and that what it is becoming no longer appeals to them, then it may well be that the best course for them is to leave mathematics and pursue something else. That is not necessarily something we should seek to prevent. Every revolution changes the nature of a calling, and whom it calls.
9
10
6
85
22,076
Pretty sure Disney would never do a slow-paced, purely emotional scene like this today. And that’s why they’re not at the top of the animation game anymore.
85 years ago today, ‘Dumbo’ released in theaters.
115
7,070
97
124,122
976,508
Aryan Bhargav retweeted
Almost all of the recent incidents like this, including Hugging Face, happened because the models involved were accidentally given impossible goals by the humans running the tests, and because of their training they then tried desperately to complete them by any means necessary.
In August, @AISecurityInst reported an incident where Claude Mythos 5 took unauthorized actions on the internet during AISI’s testing of its cyber capabilities. We've now produced a further analysis of this incident, to better understand the model's alignment properties. anthropic.com/research/align…
129
102
27
984
51,033
Aryan Bhargav retweeted
One reason young people want socialism so much is that they're jealous that older people have it and they don't.
1,346
3,656
338
23,506
1,150,453