Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

ERURH: A Conditional, Formalized Route to the Riemann Hypothesis through ERU framework (AI-Assisted)

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      Institut des sciences analytiques et de physico-chimie pour l'environnement et les materiaux (IPREM); Université de Pau et des Pays de l'Adour (UPPA)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)
    • بيانات النشر:
      CCSD
    • الموضوع:
      2026
    • Collection:
      HAL e2s UPPA (Université de Pau et des Pays de l'Adour)
    • نبذة مختصرة :
      This preprint presents a conditional proof of the Riemann Hypothesis, formalized in Lean as a stress-test case study of a broader analytical framework (ERU).The conceptual structure is human-designed, while the formal implementation is generated using AI tools and mechanically verified.The work separates a Lean-verified logical implication (ERURH), finite reproducible certificates, and explicit analytic assumptions.No unconditional claim is made.
    • الرقم المعرف:
      10.5281/zenodo.18010407
    • الدخول الالكتروني :
      https://hal.science/hal-05501445
      https://hal.science/hal-05501445v1/document
      https://hal.science/hal-05501445v1/file/ERURH_Conditional_Proof.pdf
      https://doi.org/10.5281/zenodo.18010407
    • Rights:
      https://creativecommons.org/licenses/by/4.0/ ; info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.7FEB3F1F