POUR QUI

Mathématiciens

Actualités et articles pratiques sur l’IA pour ce public.

Derniers articles

Modèles5 septembre 2026

Anthropic annonce que son modèle Claude a généré une preuve formelle vérifiée par ordinateur du théorème de Fermat en 11 jours.

Anthropic↗