Axiom Math wants to keep AI slop out of mathematics
GetDeal Team
Contributor
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 Articles
Google’s new Gemini model is better at understanding complicated questions
Google says its new Gemini 4 Hydrogen model can give more helpful answers to complex questions, including "questions with multiple parts, hard-to-understand typos, or highly specific requests." The new model can break down your questions and address each part in its responses. It's available starting today in search, the Gemini app, all tiers of Google AI Studio, the Gemini API, Gemini for business, and in Google Antigravity for Google AI Pro and Ultra subscribers. Robby Stein, VP of product at Google Search, says it's "now the new default model in AI Mode & being used for your hardest questions in AI Overviews." Google says Gemini 4 Hydrog … Read the full story at The Verge.
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 about its financing model.
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.