Axiom Math wants to keep AI slop out of mathematics
7d
- Published
- Collected
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…
overfeed.news indexes and links. We publish a short excerpt — the full article stays at TechCrunch AI.
More from TechCrunch AI
Log in to follow this source
Nebius tests the neocloud playbook with $40 billion in planned spending
Nebius plans to fund its $40 billion AI infrastructure expansion through customer prepayments and loans, even as delays at a Microsoft data center raise questions…
Jensen Huang was having a third affair, Reuters reports
Reuters is withholding the name of the new employee linked to Huang, but says she is an employee of Nvidia.
Google’s latest Search upgrade promises better answers to your most complicated questions
Powered by Gemini 4 Hydrogen, Google's AI Mode is getting better at understanding complex queries, surfacing relevant links, and delivering richer visual responses.
Nectar launches an AI agent to automate creator discovery and outreach for brands
Nectar's new AI agent automates influencer marketing, helping brands discover creators, manage outreach and partnerships, and track campaign results.