Every Nonnegative Integer Is a Sum of a Triangular, a Pentagonal, and a Heptagonal Number
यह शोध पत्र सिद्ध करता है कि प्रत्येक गैर-ऋणात्मक पूर्णांक को एक त्रिकोणीय, एक पंचकोणीय और एक सप्तकोणीय संख्या के योग के रूप में व्यक्त किया जा सकता है, जिससे MechMath एजेंट टीम द्वारा उत्पन्न और Lean 4 में औपचारिक रूप से सिद्ध किए गए प्रमाण का उपयोग करते हुए OEIS A287616 अनुमान (conjecture) को सुलझाया गया है।