Friends, followers, and strangers on X,
I recently got excited about mapping the jagged frontier of AI models in math and other STEM areas. With my colleague Prof. Rob Ghrist @prof_g , I founded Rabdos AI rabdos.ai to create original, research-level problems at
Are endpoint protection systems like CrowdStrike prepared for large-scale agentic workloads?
My research group has been running 100's of codex agents in parallel on a machine this summer. The agents are not coordinating (or at least aren't supposed to): each works on an
Every year I take an international trip, I measure in-flight internet connectivity as an indicator of global technological progress. 2026 represents a *huge* step up in this measure, entirely single-handedly due to @Starlink. They have essentially solved this problem from 0 to 1.
Check out Rabdos Math Index! A holistic benchmark for math x AI that draws from our experience supplying math data to frontier AI labs over the last six months.
Comprises graduate-level theorems formalized in Lean and checked by semantic rubrics, research-level problems with
We are delighted to introduce Rabdos Math Index 📐
One holistic measurement for mathematical reasoning on proof, solution, and perception.
Claude Opus 5 leads at 46. GPT-5.6 Sol & Claude Fable 5 follows at 39. No other model scored above 25.
Mathematics remains open.
Incredibly proud of PhDs #8, #9, and #10 -- congratulations Drs. Jiani Huang (@jiani_huang_ai), Aaditya Naik (@aaditya_naik), and Adam Stein (@adamlsteinl)!
I am lucky and grateful for the privilege of working with the three of you!
