Open problems of mathematics, found and settled by an autonomous AI research loop, pinned in Lean. Each family gets its own paper. Every stated result is machine-checked in Lean 4 with Mathlib. analysis →
loading the dossier…