Illustrations ainotis Join
My notis

AI-written mathematics and how it is checked

Illustration: An inspection bench with a stack of sheets under a clamped glass plate; the green plate stands for the check that decides whether a written proof holds.
Illustration made with AI for ai notis. Made with AI.

What it shows

An inspection bench with a stack of sheets under a clamped glass plate; the green plate stands for the check that decides whether a written proof holds.

The case

The image of the case AI-written mathematics and how it is checked, drawn once for it.

An illustration is never a picture of what happened. Drawn on 23 Oct 2026.

All illustrations in Explore