]> 2026-11-01T17:48:51+00:00 KoMa 95/AK Lean Reso 0 de Im Zeitalter von KI passieren aktuell viele Fortschritte, um einen eher kontroversen zu nennen, die Navier Stokes Sache von OpenAI. Die Tatsache dass die KI eine Lean Verifikation gebaut hat, hat anfangs viel Vertrauen in die Arbeit gegeben. Ich fände es schön, wenn wir eine Reso schreiben könnten, in der wir fordern das man im Studium die Möglichkeit erhält sich mit Lean zu beschäftigen (oder ähnlichen Proof Assitants). Ich nehme an, dass in der Zukunft Verifikation immer wichtiger wird, ob beim Prüfen von AI Outputs oder beim Prüfen der eigenen Arbeit. AK Lean Reso Austausch Reso 2h Lexa 95 Lexa (gerne noch mit jemandem) KoMa 95/AK Lean Reso 2026-10-28T14:16:45Z 2461342.0949653 KoMa 95/AK Lean Reso 0 0 plainlist 1 [[:KoMa 95]] KoMa 95/AK Lean Reso# QUERYa44f5f93a12e27b55d8d10210b45020c 0 0 plainlist 1 [[:KoMa 95/AK Lean Reso]] KoMa 95/AK Lean Reso# QUERY7bb8da358e8c7855d7874dee7a175058 0 1 plainlist 5 [[Kategorie:Arbeitskreis Session]] [[KoMaNr::95]] [[AKS Name::AK Lean Reso]] KoMa 95/AK Lean Reso# QUERY268d4287f9bf36c5270f0106c08997d2 0 1 plainlist 3 [[Kategorie:KoMa]] [[KoMaNr::95]] KoMa 95/AK Lean Reso# QUERY59f529ced160977d0dd83329a1bdff6c