"Our most capable agent autonomously resolved 9 of 353 open Erdős problems at the per-problem cost of a few hundred dollars, proved 44/492 OEIS conjectures, and is being deployed in combinatorics, optimization, graph theory, algebraic geometry, and quantum optics research." Ni…
Who's Who of AI
Shubhendu Trivedi
Interests on bsky: ML research, applied math, and general mathematical and engineering miscellany. Also: Uncertainty, symmetry in ML, reliable deployment; applications in LLMs, computational chemistry/physics, and healthcare.
https://shubhendu-trivedi.org
What they're sharing
[2605.22763v1] Advancing Mathematics Research with AI-Driven Formal Proof Search arxiv.org
arxiv.org
arxiv.org
View on Bluesky →
arxiv.org
arxiv.org
arxiv.org
arxiv.org
Articles & links
Great paper arxiv.org/abs/2605.23556
Shubhendu Trivedi reposted
“The sum-product conjecture is false for real numbers” THOMAS F. BLOOM, WILL SAWIN, CARL SCHILDKRAUT, AND DMITRII ZHELEZOV A human proof that exploits the same kind of “tower of fields” that was used in the AI-generated counterexample to the unit-distance conjecture!
Was reading this and thinking that it's funny that work around mean field approximations of games (thus also mechanisms) would be quite interesting soon (in the context of agentic marketplaces). In the sense of large-population platform control with strategic / heterogeneous/ …
Robust through Robust arxiv.org/abs/2605.187...
Let me share the paper again without the stream of consciousness commentary. arxiv.org/abs/2605.08426
This seems like just a regular mechanism design paper on the surface ("first-price procurement auction with a budget"), but there is a lot going on here. Super interesting stuff, and yet it also gives the impression that there's lots more to do. arxiv.org/abs/2502.20346
Their own posts
Recent commentary
One thing that has become clear to me just very recently from dozens of conversations with folk at all the frontier labs: Many really do believe that once "AGI happens" it will "make everything easier, from robotics, to manufacturing." Supply chain constraints, ecosystem and labour development
Every once in a few years you get cultural moments that become like crazy psychiatric solvents. But the AI related one seems like it'd be unique in how much it concentrates people's unresolved issues into worldviews. The whole zealotry it brings forth even about insignificant stuff is quite telling.
Someone remarked that it's ironical that we give LLMs the "education" we claim to want for children, for students, and for ourselves, but simply don't have the will to demand it of any of them, or of ourselves.