Read news on assisted proof with our app.
Read more in the app
AI-assisted proof of optimal packing for 11 squares
Machine-Assisted Proof [pdf]