Axiom’s Stacks Verification Claim Is a Stress Test for AI Agents
Roughly 7, 654 pages of human mathematics, built up since 2005, have been turned into about 16 million lines of code a machine can check one step at a time. That is Axiom Math’s claim. It is also a stress test for every company hoping AI agents will write the next decade of software without […]
How Amazon Grades A+ Content as One Page
Amazon is trying to grade A+ Content the way a shopper actually sees it: one page, not a stack of separate files. Picture a lifestyle photo of a single glass parked under copy that promises a 64-ounce pitcher. The photo can be sharp. The sentence can be grammatical. Scroll the listing, and it is arguing […]
Together Compiler and Why One-Shot Inference Tuning Goes Stale
Together AI timed one agent-written top-k kernel, a small GPU program that chooses which expert blocks to run, at 20 microseconds on random inputs and up to 62 milliseconds on real traffic with 70, 000 tokens of context. Those times are kernel runtime only. The wait for a full answer is a separate clock, and […]
LeCun Did Not Prove the AI Industry Wrong
An interviewer suggested Yann LeCun had compared today’s AI to a smart cat, or maybe a three-year-old. In a conversation conducted Friday, April 4, 2025, and published by Jason Howell, LeCun’s answer was two words. “Not even.” Lines like that travel. They get turned into a story in which one famous researcher proved the entire […]
When AI Lab Lockups End, Watch the Bill in the Product You Buy
A lockup expiry is a door, not a printing press. Shares that already existed become free to trade. The company does not have to issue a single new one for the float to jump, and the price then hangs on a blunt question: who shows up to buy what insiders are finally allowed to sell? […]
TwIL-8B’s 98.2 MATH-500 Score Is Not a Buying Guide
webAI reports 98.2 on MATH-500 for TwIL-8B, and that number will travel faster than the footnotes. It should not. The score is self-reported, from one competition-math exam, on an 8.79-billion-parameter model released under a non-commercial license. It is not an independent result. It makes a poor buying guide. The useful question is narrower. Hand this […]
U Mobile Built AI Agents to Diagnose Stuck Orders, Not Draft Replies
A subscriber tried to buy the same data add-on more than 30 times, across several channels, over three days. Every attempt came back with the same error: “Subscriber has pending order.” Somewhere in the stack, an unfinished order was blocking every new one. U Mobile has published this as an illustration of the failure class […]
Life Sciences Data Quality Agents Should Draft, Not Decide
The dashboard looks fine. The territory math does not. A brand team can sit in a quarterly review and never notice the break. Product shares inside one territory add up to 112 percent. A healthcare professional ID is missing a digit. A switch rate sits outside any range a medical lead would defend in a […]
Robot Dog Deals Buy Moving Sensors, Not Autonomous AI
A San Francisco startup did not post a job for an autonomy engineer. It posted a job for someone to walk a robot. Kashmir Hill reported the listing in the New York Times on October 27, 2026. Dimensional, based in the Dogpatch neighborhood, had placed it in the Facebook group “Bay Area Jobs.” The ad […]
A PetaFLOP DGX Spark Still Waits on Memory for One User
A chip rated for a petaFLOP can still feel slow when it is answering one person. On a desk-side NVIDIA DGX Spark, that is not a paradox. NVIDIA’s product page rates the box’s FP4 Tensor Cores at up to 1 petaFLOP. At batch size 1, generating the next token is mostly a memory errand: the […]