AlphaProof Nexus research paper appears in Science

An AlphaProof researcher says the team’s technical paper on AlphaProof Nexus appeared in Science on October 8, 2026. They say collaborators, including Aarhus University’s Gergely Bérczi, have used LLM-powered proof agents to prove research-level results. They also credit the Lean and Mathlib community with inspiring AlphaProof and say the team started Formal Conjectures, an open repository of precisely stated problems in Lean built with the community.