Published March 29, 2026 | Version v1
Working paper Restricted

Certified Computation at the Boundary of AI-Assisted Mathematics: A Response to Tao et al. arXiv:2511.02864

Authors/Creators

  • 1. MendozaLab

Description

A direct architectural response to Tao et al. (arXiv:2511.02864). Presents a three-layer answer on the Erdos problem space: (1) IEEE 1788-certified interval arithmetic for the EHP lemniscate conjecture n=3-13; (2) Erdos Atlas 3D morphism network; (3) 49 sorry-free Lean 4 proofs. Introduces the Squeeze Lemniscate framework and ODGAF governance layer.

Files

Restricted

The record is publicly accessible, but files are restricted. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/19322740">Log in</a> to check if you have access.