0110, 2024 Kombinatorik: Ein Brückenschlag zwischen einfachen Summen und Entropie zafar/ Oktober 1, 2024/ Beweisassistent, Computer, Ki, Kombinatorik, Magazin, Mathematik, Mengenlehre, Summe, Tao, Terence Tao
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