Coming soon

alkahest agent

A math research agent that works through problems with alkahest as its engine — checking each step, exporting certificates where it can, and saying so when it can’t.