Tag: Erdos-Probleme

Beiträge mit dem Schlagwort „Erdos-Probleme“

FrontierMath Erdos: 68 offene Probleme in Lean formalisiert, 5 Modelle mit 300 $ Budget getestet

1. September 2026

Aletheia: Google-Deep-Math-Agent löst vier offene Erdos-Probleme und 700 offene Fragen autonom

10. Februar 2026