OpenAI Says It Has Solved 10 Open Math Problems Using Astra, Its New Model
Math progress seems to be accelerating faster than ever with AI tools. OpenAI announced on August 1 that an internal version of Astra,…
Math progress seems to be accelerating faster than ever with AI tools. OpenAI announced on August 1 that an internal version of Astra,…
Google Search is thriving in the AI era, contrary to some expectations, but the nature of search has changed all the same. New…
AI is helping mathematicians come up with more and more results. The latest one comes from a trio of researchers at Babson College,…
DeepSeek had first burst on to the scene in late 2024, and it’s still coming up with releases that — at least from…
Just yesterday, OpenAI had cut the prices of its GPT 5.6 Luna model by 80%, but a Chinese lab has now seemingly responded…
OpenAI appears to be responding to the threat of cheaper Chinese open-source models with some price cuts of its own. Sam Altman announced…
Google is lagging the frontier at general intelligence, but it’s producing some state-of-the-art AI models in specific verticals. Robotics is quickly turning into…
AI labs are still finding out novel ways to improve on the ARC-AGI benchmarks, which are designed to be particularly hard for AIs…
Thinking Machines appears to have lost yet another co-founder to OpenAI. Lilian Weng, who helped start Mira Murati’s Thinking Machines Lab last year,…