Дмитрий Алейников

Constant-Time O(1) AST Reduction and Native Delegate Compilation in RICIS-III v7.9

Traditional Computer Algebra Systems (CAS) and dynamic expression interpreters evaluate critical points and mathematical singularities via runtime limit approximations, Taylor series expansions, or recursive L'Hôpital routines. These procedures incur an unresolvable computational...

Structural State Preservation in AI-Generated Formal Mathematics: A Comparative Study of RICIS and the Anthropic Fermat's Last Theorem Code

This paper investigates a structural similarity between the Recursive Indexed Calculating Infinity Singularity (RICIS) methodology and selected constructions appearing in the AI-generated Lean formalization of Fermat's Last Theorem released by Anthropic in September 2026. The cen...