Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

Guozhen Wang; Weinan Lin; Zhouli Xu

Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2412.10876 v2 pith:BJ5GUP4F submitted 2024-12-14 math.AT math.GN

Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

Weinan Lin , Guozhen Wang , Zhouli Xu This is my paper

classification math.AT math.GN

keywords adamsdatasetdifferentialsproofsresultsspectraadditionarguments

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

Share X Bluesky LinkedIn Reddit HN

read the original abstract

In this document, we describe the process of obtaining numerous Adams differentials and extensions using computational methods, as well as how to interpret the dataset uploaded to Zenodo. Detailed proofs of the machine-generated results are also provided. The dataset includes information on 49 CW spectra, 180 maps, and 61 cofiber sequences. Leveraging these results, and with the addition of some ad hoc arguments derived through human insight, we successfully resolved the Last Kervaire Invariant Problem in dimension 126.

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A Hurewicz Theorem for $RO(C_2)$-graded Equivariant Homology Governed by Vector Fields on Spheres
math.AT 2026-05 unverdicted novelty 6.0

RO(C2)-graded Hurewicz images of C2-equivariant Eilenberg-MacLane spectra are determined by the number of linearly independent vector fields on spheres.