Archivo de contenido de Lean 4 × AI-for-Math Weekly

2 publicaciones · Página 1 de 1

1. AlphaProof Nexus cracks open Erdős problems — Lean 4 × AI-for-Math Weekly #12026-06-08
2. Goedel-Architect cracks MiniF2F — Lean 4 × AI-for-Math Weekly #22026-06-15