GPT 5.6 Sol Helps Mathematicians Prove That 150-Year-Old Maxwell Conjecture Is False
AI is helping mathematicians come up with more and more results. The latest one comes from a trio of researchers at Babson College,…
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…
Rapido has entered the food delivery space, and it’s taking the incumbents head on. A screenshot of the Ownly checkout screen, shared by…
It turns out that making things people want requires more sacrifices than one would expect. LemonLime, a YC S26 startup that builds no-code…
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,…