Andreas Mueller

Machine learner, Python geek and former scikit-learn core dev.
Researcher @OpenAI. Posting on LinkedIn now.

[Dan Roberts @danintheory]

Delighted that the @KITP_UCSB group led by David Gross released the Lean formalization of our Yang--Mills existence proof!

https://t.co/u6IuhjKydx

[Kavli Institute for Theoretical Physics @KITP_UCSB]

Statement #3 of Yang-Mills Group, scientific collaboration shepherding AI result on existence of quantum chromodynamics & completions of the Standard Model, including subproblem proving the existence of the Quantum Yang-Mills theory. https://t.co/j8O8TUjSD3

[Alex Krentsel @AlexKrentsel]

i've reproduced the results from the MIT blog post today on weight-space programming. but one additional result i have to add: this is a new, step-change emerging capability that's appeared in just the latest set of models.

[Dan Roberts @danintheory]

We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.

https://t.co/9BX8HWQDTJ

[Diverging Limits @diverginglimits]

Episode 2 is out on Youtube! Feating @scottnarmstrong

https://t.co/u48wYEWYeo

[Noam Brown @polynoamial]

Also, my team is hiring! We research long-horizon agents and multi-agent. We’re hiring for alignment/safety because we want to develop new research with alignment/safety in mind during the whole process. We’re also hiring for human-AI interaction. https://t.co/kfFyEowLKy

[Noam Brown @polynoamial]

Happy to finally do a deep dive on multi-agent with @dwarkesh_sp! None of it would have happened without the great work on multi-agent from my @OpenAI teammates @kevinleestone, @mikegmalek, @__eknight__, @amuellerml, @zhangir_azerbay, @CheukHeiChu, and many others.

[Andreas Mueller @amuellerml]

@Frances01896069 FYI this conversation started in software engineering many months ago, so I think it's unfair to say that only mathematicians understand it.

[OpenAI @OpenAI]

We’re releasing a broad range of new mathematical results produced by an internal frontier model.

We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.

https://t.co/7N6TPlft1P

[Andreas Mueller @amuellerml]

I'm so thankful to have been part of this incredible team effort. The next generation of models will be truly incredible.

[OpenAI @OpenAI]

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

[Alexander Wei @alexwei_]

It is remarkable—and takes a moment to process—how quickly the next generation of models will accelerate our research, and breathe new life into old problems.

This was an incredible project done by an incredible team (and model) in just a week. Ad Astra we go ✨

[Noam Brown @polynoamial]

An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.

We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i

[Noam Brown @polynoamial]

The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices. We’re excited to see what scientists and researchers are able to create with our upcoming Astra models!

[Andreas Mueller @amuellerml]

@GaelVaroquaux @OfirPress @fpedregosa @agramfort @scikit_learn Also, y'all still on Musk's echo chamber 🙃

[Andreas Mueller @amuellerml]

@GaelVaroquaux @OfirPress @fpedregosa @agramfort @scikit_learn The actual implementation of a solution is not usually the bottleneck. We often write out 2 or 3 versions to discuss them before settling on what to do. And the agent won't have the context to decide which solutions are appropriate.

[Nick Erickson @innixma]

📢 We are excited to announce "#FMSD: 1st Workshop on Foundation Models for Structured Data" has been accepted to #ICML 2025! Call for Papers: https://t.co/Zj2e9pXpQJ

[Satya Nadella @satyanadella]

Open protocols like A2A and MCP are key to enabling the agentic web. With A2A support coming to Copilot Studio and Foundry, customers can build agentic systems that interoperate by design.

[Andreas Mueller @amuellerml]

@howdataworks Integrating anomaly detection, root cause analysis and causal modeling seems like a promising approach, as in "Root Cause Analysis of Anomalies in Multivariate Time Series through Granger Causal Discovery"

[Andreas Mueller @amuellerml]

New preprint https://t.co/BUpLi4a39k
Open Challenges in Time Series Anomaly Detection: An Industry Perspective

This is a vision paper about what I think it missing from current research in time series anomaly detection, and how it could align better with practical applications.