TechCrunch · read inside Lightning Rod

Axiom Math wants to keep AI slop out of mathematics

This is the portion TechCrunch's own feed carries — the excerpt the outlet itself publishes for reading outside its site.

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.

Read the rest at TechCrunch

Keep reading

Nvidia’s crisis has corporate governance experts reaching for the popcorn — TechCrunch
X launches its own clipping feature to spur influencer engagement — TechCrunch
OpenAI acquires Odessia, travel startup created by Sonder founder — TechCrunch
OpenAI, Anthropic face new oversight as New York’s AI safety law takes effect — TechCrunch
Proximal Ventures raises debut fund to back startups bringing AI to drug development — TechCrunch
X-energy gets green light to build its first small modular nuclear reactors — TechCrunch

All articles