GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

Healthcare AI is growing up: instead of one massive model, 2026 favors teams of smaller, specialized models that collaborate, ...

A $1 million prize awaits anyone who can show where the math of fluid flow breaks down. With specially trained AI systems, ...

SpaceX could double its valuation from where it stood earlier this year, and CEO Elon Musk says a few things could drive his aerospace company — including one factor that’s more under the radar.

An AI model that learns without human input—by posing interesting queries for itself—might point the way to superintelligence ...

Generative AI is becoming ubiquitous in everyday life. Large language models like ChatGPT can help answer questions, write ...

Discover the hottest Silicon Valley startups of 2026, featuring innovative companies driving breakthroughs in AI, SaaS, ...

Ben Gao '25 asks us to reconsider how we can use AI effectively, arguing that human-centered design needs to be prioritized.

The IMD AI Safety Clock is a tool designed to evaluate the risks of Uncontrolled Artificial General Intelligence (UAGI) – autonomous AI systems that operate without human oversight and could ...

If you're struggling with math, these best math AI tools can help you solve those complex problems and equations with ease.

China’s new coding AI beats GPT-5.1 and Claude 4.5, with 128,000-token context helping you solve tougher repos faster and cut ...

Large language models are powering a new generation of AI agents that could transform computational chemistry from a ...