@roydanroy
Pinned post
Gemini 4 Argon is our next era of frontier intelligence.
It shows significant improvements across benchmarks, setting a new state of the art for real-world long-horizon software engineering tasks.View quoted post on X
Been running Opus 5.5 agents over the notebooks of Gauss, Riemann, Hilbert and Grothendieck. around 12,000 pages so far. Heres the best finding so far:
Riemann's 1860 shock wave paper is famous for getting the energy part wrong however his unpublished sheets at Göttingen have it right the Rankine Hugoniot conditions a decade or two before Rankine and Hugoniot plus results usually dated 19061937, all in his own notation. A second sheet in another folder has the same physics.
There are probably thousands of potential undiscovered stuff in the research papers of the smartest ever to live imo all of them should be made public and reviewed by ai years of work can probably be transcribed by agents in daysView quoted post on X
Nice DeepSWE score! Does it survive a lowercase filename?
Introducing MaxxBench: 89 DeepSWE tasks with small changes to the instructions or starting code. Same engineering problem, slightly different requirement.
Models clustered around 74% on DeepSWE end up 23 pp apart.
Good at coding, or good at DeepSWE? 🧵View quoted post on X
Most think vibecoding at scale is slop. Here’s a counterexample.
Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.
A mathematical city 🌆View quoted post on X
