Three startups building AI mathematicians—Harmonic, Axiom Math, and Math Inc—raised over $580 million in the last twelve months, with Harmonic at a $1.45 billion valuation and Axiom Math jumping from …
An AI-found counterexample to the 87-year-old Jacobian conjecture in dimension three, posted by mathematician Levent Alpöge on July 19, can be verified by anyone in seconds using symbolic computation.…
No independent measurement exists to verify whether enterprise AI investments pay off, because every headline ROI figure in the debate was produced by a party with a financial stake in the answer, a c…
Anthropic shipped Claude Sonnet 5 today, closing the capability gap with Opus 4.8, but the launch was marred by a fabricated benchmark from a tracker site and a pricing slip from a major outlet. Sonne…