34.
AlphaProof Nexus advancing research math, solving 9 Erdős problems & more!
AlphaProof Nexus advancing research math, solving 9 Erdős problems & more! Amazing experience to be part of this team & project. Excited for AI-driven formal proof search becoming a collaborator in math discovery, one that deepens human und