Initio

Research

Reports and notes on our work.

Aug 19, 2026

Autonomous formal verification of Initio's proof of Ehrhart's Volume Conjecture

We are releasing a formal verification of the Ehrhart Volume Conjecture, generated by AI and validated in Lean, along with the paper and the complete formalization.

Result

Aug 05, 2026

An alternative proof of the Ehrhart volume conjecture from a less powerful model

We are releasing an AI-generated alternative proof of the Ehrhart volume conjecture, produced with an older model and no knowledge of a recently published proof, along with a detailed verification and comparison.

Result

Jul 29, 2026

Autonomously Extending the SYK Spectral-Edge Theorem with AI

We are releasing a paper on the Sachdev–Ye–Kitaev model (SYK), carried out end-to-end by AI. Our perspective is that higher-order AI discoveries—results built on prior AI results—will soon become the norm.

Result