We report on the ongoing Integrated Explicit Analytic Number Theory Network (IEANTN) project (hosted as part of the Prime Number Theory and More (PNT+) project), which aims to formalize and combine a large number of results in explicit analytic number theory into a unified artefact that allows for bounds to be updated and propagated by AI-assisted, formally verified means in an automated, near-real-time fashion.