Cumulative volume explores mathematical conjectures and evidence in various programs, highlighting significant findings.
This cumulative volume begins with the two problems in u/dForga's monthly r/LLMmathematics post, continues with nine open or partly open programmes, and places nine complete results afterward. Each chapter states its mathematical status, contribution boundary, and bibliography at the point of use. The split-zero chapters record Kokuno Yumeto's originating programme and the repository identifier 虚空の夢翔. The semimodule chapter re-proves and expands the previously public support, fibre, reconstruction, adjunction, free-cube, subsemimodule, and finite-generation results, then proves the projective normal form and converse. Its bibliography identifies the two earlier Zenodo records and the surrounding human literature. The reader is accompanied by the chapter packages preserved from earlier same-concept editions and by a replayable proof-and-verification archive for the split-zero semimodule chapter. The Clankers names contributing AI systems; it does not replace named problem originators, source authors, or collaborators.
No takes yet. Share an insight, caveat, or question.
Yumeto et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: