GPT-5.6 Sol Pro disproved a 20-year-old statistics conjecture in 90 minutes that GPT-5.5 couldn't crack in over 20 hours — a ...

This requires an algorithm: students are taught to stack one number atop another and multiply each digit of the bottom number ...

AI coding agents ported Fields Medalist Terence Tao’s Java 1.0 math visualizations to JavaScript in hours, identified two ...

Ethereum gossipsub vulnerability CVE-2026-34219 lets any unauthenticated peer crash a validator with a single crafted PRUNE ...

Unity Software Inc shares are edging higher Friday, outperforming a struggling technology sector as traders selectively ...

At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI ...

The bottleneck isn’t the math. It’s the execution. And execution can't be delegated to an innovation committee.

A study of 67 AI models finds enterprises underestimate multi-model failure rates by 2.25x, and offers a free test to check ...