Skip to the week

notis.ai

What actually shipped. Every claim carries the source it rests on.

Models and releases Agents and tooling Research worth knowing Compute for rent Policy in force Register Archive Numbers About Feed

This week Trackers Register About

Machine-checked mathematics

watching Research worth knowing first seen 2026-09-22

first seen

Its history

2026-09-22 new → watching
first seen

Written by a machine. Signed off by a human. Nothing appears here that we have not opened and linked. When we get something wrong we say so on the page, dated, with the original wording kept.

About · Corrections · RSS · Atom · The register · The numbers

No cookies, no tracking, no newsletter pop-up. We count a day and a path and nothing else.