{"id":"arxiv/2606.26035","url":"https://arxiv.org/abs/2606.26035","tags":["math.NT","cs.SC"],"score":0,"title":"Every Nonnegative Integer Is a Sum of a Triangular, a Pentagonal, and a Heptagonal Number","domain":"math.NT","source":"arxiv","authors":["Yichuan Cao","Dakai Guo","Ruichen Qiu","Ruyong Feng","Xiao-Shan Gao"],"reviews":0,"subject":"math.NT","summary":"In this paper, it is proved that any nonnegative integer can be written in the following form $$ x(x+1)/2 + y(3y+1)/2 + z(5z+1)/2, \\qquad x,y,z \\in \\mathbb{N}. $$ This settles the conjecture recorded as OEIS A287616. All parts of the proof have been formalized in Lean 4, with the exception of two results: one externally cited theorem and one statement verified by symbolic computation. Both the natural-language proof and the Lean formalization were generated by the MechMath Agent Team developed by the authors.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-24","reactions":{}}