A startup says it cracked the maths bottleneck holding back AI. It finally has the receipts.
A Miami startup says it has cracked a maths problem that has made AI models slow and power-hungry for almost a decade. The claim was bold enough to draw comparisons with Theranos. Now, though, the company has independent test results that back much of it up. The startup is called Subquadratic. It came out of […]<br /> This story continues at The Next Web [...]
Rating
Innovation
Pricing
Technology
Usability
We have discovered similar tools to what you are looking for. Check out our suggestions for similar AI tools.
Anthropic's Claude Opus 4.6 saw through an AI test, cracked the encryption, and grabbed the answers itself
Anthropic's Claude Opus 4.6 independently figured out it was being tested during a benchmark, identified the specific test, and cracked its encrypted answer key. According to Anthropic, this is t [...]
Starlink is SpaceX’s cash machine, but the maths is getting harder
SpaceX’s satellite internet service had 10.3 million subscribers at the end of the first quarter of 2026, more than double the 4.4 million it reported a year earlier. That growth rate is extraordina [...]
The AI maths breakthroughs everyone quotes are counterexamples, not proofs
A counterexample and a proof are not the same kind of achievement. A proof shows that something is always true. A counterexample shows that something claimed to be always true is not, by producing one [...]
Terence Tao says GPT-5.2 Pro cracked an Erdős problem, but warns the win says more about speed than difficulty
Terence Tao says OpenAI's GPT-5.2 Pro has solved an open Erdős problem largely on its own for the first time. He calls it a milestone but warns against reading too much into it. For Tao, the mor [...]
AI startup tackles bottleneck where people spend more time checking AI content than creating it
Alongside OpenAI and Google DeepMind, AI startup Harmonic has also achieved a gold-medal performance at this year's International Mathematical Olympiad (IMO) 2025 with its model Aristotle. Unlike [...]
Slack wants to drag AI coding out of the terminal and into the group chat
Slack wants to drag AI coding out of the terminal and into the group chat.The Salesforce-owned messaging platform today announced Slack Code, a new product that embeds AI coding agents — including A [...]
Quilter's AI just designed an 843‑part Linux computer that booted on the first try. Hardware will never be the same.
A San Francisco-based startup has demonstrated what it calls a breakthrough in hardware development: an artificial intelligence system that designed a fully functional Linux computer in one week — a [...]