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

20260 citationsJournal Articlegreen Open Access

Authors

Kenneth A. Mendoza · University of Mendoza

Abstract

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.

Topics & Keywords

Numerical Methods and Algorithms Polynomial and algebraic computation Computability, Logic, AI Algorithms

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19322740

Field-Weighted Citation Impact: 0.00

Command Palette

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

Authors

Abstract

Topics & Keywords

Publication Details