{"id":"arxiv/2608.23721","url":"https://arxiv.org/abs/2608.23721","tags":["math.AT"],"score":0,"title":"Autoformalizing the calculation of $π_3(S^2)$","domain":"math.AT","source":"arxiv","authors":["Daniel Carranza","Chunyi Liu","Emily Riehl","Egbert Rijke"],"reviews":0,"subject":"math.AT","summary":"We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of $π_3(S^2)$ in agda-unimath using Codex.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-24","reactions":{}}