Dan Roy

@Google DeepMind. On leave, Canada CIFAR AI Chair and Former Research Director, @VectorInst. Professor, @UofT (Statistics/CS). Views are my own.

[Dan Roy @roydanroy]

Proud to have contributed to Gemini 4 Argon’s much improved math capabilities. It’s been an intense few months!

[Google @Google]

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.

[Dan Roy @roydanroy]

@ml_angelopoulos L2 is not the right norm on this space, IMO. That said, Gemini models need to improve.

[Dan Roy @roydanroy]

@zalzhou I feel like I'm talking to an LLM.

[Dan Roy @roydanroy]

Congrats to the team on formally verifying the signal protocol.

https://t.co/54SRrNyqBM

[Dan Roy @roydanroy]

@zalzhou Did you read the report?

[Geodesic Intelligence @Geodesiclab]

Introducing NovaAtom-Lite, an all-atom structure prediction model for drug discovery.

It predicts the structures of proteins, nucleic acids, and the molecules they bind, including how they fit together.

NovaAtom-Lite outperforms both IsoDDE and AlphaFold 3 on FoldBench antibody–antigen structure prediction (DockQ ≥ 0.23):

NovaAtom-Lite: 79.07% (n=172)

IsoDDE: 75.58%

AlphaFold 3: 47.90% (n=167)

Our evaluation uses 5 seeds × 5 samples, with the top-1 prediction selected by the model's own ranking score.

Better structure prediction. A stronger starting point for your next experiment.

Live today via Geodesic API and NovaDDE.

🔗 API: https://t.co/mBdzq3sA2s

🔗 NovaDDE: https://t.co/hoCwjST34V

🔗 Model Card: https://t.co/p4aoXHuc7B

[Dan Roy @roydanroy]

@octonion In Antigravity?

[Dan Roy @roydanroy]

Love this.

[Salim Ali @Salim_AIi]

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 days

[Dan Roy @roydanroy]

@humanismetoussa @ElliotGlazer I’ve proven theorems way more useless than your most useless theorem.

[Dan Roy @roydanroy]

@humanismetoussa @ElliotGlazer I was programming computers before you were eating Cheerios in front of Saturday morning cartoons in your diapers.

[Mahdi Haghifam @HaghifamMahdi]

I will be in NYC till Wednesday for the #FOCS2026 conference to present this paper👇

Let me know if you are around and would like to meet!

Revised paper: https://t.co/C112kAOzHR

🕒 Presentation: Wednesday at 4 PM
📍 Location: NYU Kimmel Center for University Life

[Dan Roy @roydanroy]

@ElliotGlazer A model for future contributions.

[Dan Roy @roydanroy]

@ShriramKMurthi Yeah, I’ve seen similar.

[Dan Roy @roydanroy]

Love this type of contribution.

[Justin Lo @loresjpg]

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? 🧵

[Dan Roy @roydanroy]

@ryancjulian @saurishhh At least three now, because an agent did all the work.

[John Langford @JohnCLangford]

The End of AI Frontiers https://t.co/rQOIpmthGr .

There's a bit of a train wreck here that's painful to express. Nevertheless, it's a significant event for me and quite a few other folks involved so I wanted to memorialize a bit.

[Dan Roy @roydanroy]

@ElliotGlazer @jimfreitag That’s more like it.

[Yuval Dagan @YuvalDagan3]

When myltiple players in a finite game use the Optimistic hedge algorithm, their regret is low. How low? For m=2 players with n actions it's O(n log n), whereas for m=3 it's exp(Omega(n)) as T -> inf. With my student Nadav Eisen, Liad Erez and Tomer Koren https://t.co/8HDcLQXhJe