SUN, NOV 8, 2026 · UPDATED 22:16 UTC

TAG

Mathematics

2 articles tagged “Mathematics”, newest first.

Abstract illustration of a code editor where a flagged line is fixed

MODELS · PSI

PSI says an AI system on an unreleased Anthropic model proved the Aaronson–Ambainis conjecture

2 MIN READ · NOV 7, 2026

$Abstract illustration of a code editor where a flagged line is fixed$ STARTUPS · Axiom Math

Axiom Math says AI agents formalized the classification of finite simple groups in Lean

2 MIN READ · OCT 28, 2026

NEWSLETTER · FREE

Your AI briefing, filtered by your interests

Every morning at 7 a.m. your local time, only the topics you choose. In English, French or Spanish.

Choose your topics

Products & launches Regulation & policy Models & research Developer tools Startups & funding + 5 more

One-click unsubscribe. We never sell your data.