Technology & AI
Axiom Math wants to keep AI slop out of mathematics
Source: TechCrunch · Published
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
Related stories
Small Phones Have Vanished. Enough Phone Wants to Bring Them Back
As flagship smartphones balloon in size, the Enough Phone offers a 5.3-inch handset. Choose between stock Android or an anti-distraction operating system.
WIRED ·
‘Musk’ Director Alex Gibney Wants to Know if Democrats Can Now Hold Elon Musk Accountable
Spending hundreds of millions of dollars means nothing to Elon Musk, director Alex Gibney says.
WIRED ·
Grimes is going to star in an AI movie that’s coming to theaters
The AI-generated sci-fi film Gods Don't Give Gifts has added a bit of star power: Pop star Grimes is going to appear in the movie. Billed as "the first AI film to come to theatres," Gods Don't Give Gifts is a notable test case for the commercial potential of AI films, and it rele
The Verge ·
Xbox overhauls its PC, web, and cloud apps with a faster design
Microsoft is unveiling a new Xbox PC app that launches "up to 60 percent faster" than before, with an overhauled design to match new updates to Xbox Cloud Gaming on the web and smart TVs. Xbox Insiders will be able to start testing the updated Xbox PC app today, and the updated X
The Verge ·
OpenAI says its new cybersecurity model is better at not hacking other companies
OpenAI is launching GPT-6 Cyber, the latest version of its cybersecurity AI model, which it says is better at finding vulnerabilities and less likely to go rogue and hack other platforms in the process. OpenAI says that during testing, GPT-6 Cyber went out of bounds less than 1 p
The Verge ·