# Mathematicians Discover Infinite Families of Ramanujan Equations via Knot Theory

Researchers link pinched curves and knot geometry to unlock previously unknown mathematical identities.

- **Source:** [Scientific American Content: Global](https://brifing.si/source/4f066134-e06d-4415-87ef-305e3dc2aba6)
- **Published:** 2026-10-29
- **Topic:** [Data & AI](https://brifing.si/c/data-ai)
- **Original article:** <https://www.scientificamerican.com/article/mathematicians-find-an-infinite-number-of-ramanujan-equations/>
- **On Brifing:** https://brifing.si/s/1a1222f8-d27d-42fd-b7f5-52163f9a5fa7

## The Ramanujan Legacy

Srinivasa Ramanujan famously sent unproven formulas to G.H. Hardy in 1912, sparking a century of mathematical inquiry. These Rogers-Ramanujan identities, once considered isolated gems, involve complex infinite series and products. For decades, mathematicians struggled to understand the deeper structural theory that connected these seemingly disparate numerical partitions and their underlying algebraic properties.

## Geometric Knot Connection

Postdoctoral researcher Yifeng Huang discovered that these historic identities correspond to trefoil knots in specific spaces. By analyzing pinched curves, such as y squared equals x cubed, researchers identified a geometric mechanism. This realization transformed the study of numerical partitions into a problem of visualizing knots within four-dimensional spheres.

## The HJO Conjecture

The Huang-Jiang-Oblomkov conjecture posits that for any two numbers a and b with no common factor, the curve x to the power of a equals y to the power of b generates a unique identity. This framework predicts infinitely many families of identities, extending far beyond the classic Andrews-Gordon identities.

## Matrix Counting Mechanism

Huang and Ruofan Jiang developed a systematic method to count matrices on pinched curves. When these matrices commute, they behave like coordinates, allowing mathematicians to describe curves. This matrix counting approach revealed that the solutions to these equations collapse into neat, predictable formulas, providing a bridge between algebraic geometry and number theory.

## AI as Research Assistant

Ken Ono, working with Axiom Math, utilized the AI system AxiomProver to navigate an expansive space of ideas. Because no existing literature covered these new concepts, the AI functioned as a research assistant. It tested hypotheses and translated proofs into Lean, a machine-friendly language, enabling the team to verify complex mathematical structures.

## Collaborative Proof Process

The research quartet spent seven months integrating ideas from five distinct areas of mathematics. By combining human intuition with automated proof checking, they successfully validated the HJO conjecture. This collaborative effort demonstrates how artificial intelligence can accelerate discovery in fields where traditional literature is non-existent or insufficient for solving novel problems.

## Expanding the Geometric Scope

Beyond the trefoil knot, researchers are now exploring more complex structures like the Hopf link, where two circles are tied together. Alexei Oblomkov notes that these findings are merely the beginning. The team plans to publish further papers detailing how different knot configurations correspond to additional, previously uncharted families of identities.

## Singularities and Future Research

The pinched curves studied by Huang represent only the first example of singularities in this new mathematical framework. Mathematicians like Peter Scholze have already begun building upon these ideas. The shift from isolated formulas to a broad geometric theory suggests that many more identities remain hidden within these complex, non-smooth mathematical shapes.

## Shifting Mathematical Paradigms

The discovery challenges the notion that these identities were random occurrences. By recasting them as geometry, the team has opened unmapped territory for future exploration. This transition from numerical coincidence to structural necessity marks a significant evolution in how mathematicians approach the Rogers-Ramanujan identities and their role in broader algebraic theory.

## Impact on Modern Mathematics

This breakthrough proves that ancient formulas can still yield profound insights when viewed through modern geometric lenses. By successfully linking knot theory, matrix counting, and AI-assisted verification, the researchers have established a robust methodology. This work provides a foundation for future studies into the deep, interconnected nature of abstract mathematical structures.

## Sources covering this story

- https://www.scientificamerican.com/article/mathematicians-find-an-infinite-number-of-ramanujan-equations/ — 

---

_Summary written by Brifing from the original reporting. Copyright in the original article belongs to its publisher; read the full piece at the link above._
