0703, 2024 Beweisassistenten, KI und Co.: »KI wird ein großartiger Kopilot für Mathematiker sein« zafar/ März 7, 2024/ Beweisassistenz, Beweisprüfer, Fields Medaille, Formale Beweise, IT/Tech, Ki, künstliche intelligenz, Lean, Logik, Magazin, Mathematik, Terence Tao