This AI just figured out geometry — is this a step towards artificial reasoning?

This AI just figured out geometry — is this a...

Up next

This Arabian desert was once a lush paradise. Why did ancient humans avoid it?

Expedition revealed that water wasn’t enough for human settlement — plus, proposals to block sunlight get serious. 00:49 A failed desert expedition to find human tools reveals what humans needed to thriveResearch Article: Dellmour et al.12:33 Research HighlightsNature: Sleep decl ...  Show more

Briefing Chat: How physicists successfully trapped the electron's antimatter equivalent

In this episode:00:21 New experiment looking for mismatch between matter and antimatterNature: A single antimatter particle in a cage opens door to ‘revolutionary’ physics08:32 JAXA's mission to PhobosAerospace America: JAXA’s MMX mission will include the first wheeled rover to d ...  Show more

Recommended Episodes

AI and the Future of Math, with DeepMind’s AlphaProof Team
No Priors: Artificial Intelligence | Technology | Startups

In this week’s episode of No Priors, Sarah and Elad sit down with the Google DeepMind team behind AlphaProof, Laurent Sartran, Rishi Mehta, and Thomas Hubert. AlphaProof is a new reinforcement learning-based system for formal math reasoning that recently reached a silver-medal st ...  Show more

Google's AlphaGeometry Breakthrough
The AI Daily Brief: Artificial Intelligence News and Analysis

A massive improvement in how AI can reason around geometry plus Samsung releases the AI-est AI phone to AI yet. ABOUT THE AI BREAKDOWN The AI Breakdown helps you understand the most important news and discussions in AI.  Subscribe to The AI Breakdown newsletter:  https://theaibr ...  Show more

DeepMind AI Wins Silver Medal, OpenAI's SearchGPT, Olympics Crackdown on Motor-Doping, and Anti-Deepfake Porn Bill
Discover Daily by Perplexity

We're experimenting and would love to hear from you!In this episode of Discover Daily by Perplexity, we explore groundbreaking AI achievements in mathematics, a new AI search engine, and efforts to combat technological cheating in sports. Google DeepMind's AI systems, AlphaProof ...  Show more