💎 Emily Riehl, renommierte Professorin für Mathematik an der Johns Hopkins University: „Das ist, was ich für die Zukunft der Mathematik denke. Wir könnten domänenspezifische formale Sprachen haben: für algebraische Geometrie, auch für kondensierte Mathematik, auch für differenzielle Geometrie, viele verschiedene Teilgebiete. Und Mathematiker werden in der Lage sein, schnell zu lernen, wie man Beweise in neuen formalen Systemen schreibt, dank der Hilfe eines Computerbeweisassistenten, Er wird ihnen sagen, wenn sie etwas richtig oder etwas falsch machen.“ Das vollständige Gespräch mit Math, Inc.’s @jessemhan und @jdlichtman bald.