Towards Autonomous Mathematics Research

A short first test post for the AI4Math Berlin-Brandenburg website.

April 2, 2026