Known for his clear and elegant writing style, Bertsekas shaped fields from control and optimization to large-scale computation and artificial intelligence.
Bertelsmann, the global media, services, and education company headquartered in Germany, will integrate OpenAI’s technology across multiple brands around the world.
A new field report shows how scientists use AI coding agents to modernize scientific computing, accelerating software development and discovery in genomics and beyond.
MIT welcomes David Siegel SM ’86, PhD ’91 as its next Innovation Fellow. The computer scientist, entrepreneur, and philanthropist will collaborate with the MIT Schwarzman College of Computing to advance AI and scientific discovery.
Axel Springer is the first publishing house globally to partner with us on a deeper integration of journalism in AI technologies.
Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI can do for mathematics and how mathematicians can engage with AI. This essay advances a m...
Christian Gibson is an engineer on the Supercomputing team at OpenAI.
arXiv:2608.23218v1 Announce Type: new Abstract: Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI can do for mathematics and how mathemati...
AI agents are increasingly used in mathematics research, but it is often unclear how to use them effectively. Towards this, we present an extensive case study of how AI was used to improve bounds on the Grothendieck constant $K_G$, which captures the hardness between combinatorial problems and their continuous relaxations.
The initiative brings together some of the world's most prestigious research institutions to pioneer the use of AI in mathematical research.
The article titled "Import AI 472: DeepMind's cheating math agents; populist AI policies; and Forethought theorizes a nightwatchman" discusses several recent developments in artificial intelligence. It highlights DeepMind’s creation of math agents that can cheat, examines the rise of populist policies surrounding AI, and explores Forethought’s proposal for a nightwatchman AI system. Additionally, it includes a narrative about machine hermeneutics.
