2A00:20:6400:9B21:B41A:A2FF:FEF7:299A am 28. Oktober 2026 um 14:16 Uhr

2026-10-28T14:16:45Z

← Nächstältere Version		Version vom 28. Oktober 2026, 14:16 Uhr
Zeile 7:		Zeile 7:
	\|Dauer=2h		\|Dauer=2h
	\|AKS_Kurzbeschreibung=Im Zeitalter von KI passieren aktuell viele Fortschritte, um einen eher kontroversen zu nennen, die Navier Stokes Sache von OpenAI.		\|AKS_Kurzbeschreibung=Im Zeitalter von KI passieren aktuell viele Fortschritte, um einen eher kontroversen zu nennen, die Navier Stokes Sache von OpenAI.
	~~Natürlich war das nicht schön gelöst, aber gerade die~~ Tatsache dass die KI eine Lean Verifikation gebaut hat, hat anfangs viel Vertrauen in die Arbeit gegeben.		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.		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.
	}}		}}

109.41.112.178: Die Seite wurde neu angelegt: „{{Vorlage:Arbeitskreis Session |Name=AK Lean Reso |AK=AK Lean Reso |AKS_Typ=Austausch, Reso |Initiator=Lexa |Leitung=Lexa (gerne noch mit jemandem) |Dauer=2h |AKS_Kurzbeschreibung=Im Zeitalter von KI passieren aktuell viele Fortschritte, um einen eher kontroversen zu nennen, die Navier Stokes Sache von OpenAI. Natürlich war das nicht schön gelöst, aber gerade die Tatsache dass die KI eine Lean Verifikation gebaut hat, hat anfangs viel Vertrauen in di…“

2026-10-28T10:09:36Z

Die Seite wurde neu angelegt: „{{Vorlage:Arbeitskreis Session |Name=AK Lean Reso |AK=AK Lean Reso |AKS_Typ=Austausch, Reso |Initiator=Lexa |Leitung=Lexa (gerne noch mit jemandem) |Dauer=2h |AKS_Kurzbeschreibung=Im Zeitalter von KI passieren aktuell viele Fortschritte, um einen eher kontroversen zu nennen, die Navier Stokes Sache von OpenAI. Natürlich war das nicht schön gelöst, aber gerade die Tatsache dass die KI eine Lean Verifikation gebaut hat, hat anfangs viel Vertrauen in di…“

Neue Seite

{{Vorlage:Arbeitskreis Session
|Name=AK Lean Reso
|AK=AK Lean Reso
|AKS_Typ=Austausch, Reso
|Initiator=Lexa
|Leitung=Lexa (gerne noch mit jemandem)
|Dauer=2h
|AKS_Kurzbeschreibung=Im Zeitalter von KI passieren aktuell viele Fortschritte, um einen eher kontroversen zu nennen, die Navier Stokes Sache von OpenAI.
Natürlich war das nicht schön gelöst, aber gerade 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.
}}

KoMa 95/AK Lean Reso - Versionsgeschichte

2A00:20:6400:9B21:B41A:A2FF:FEF7:299A am 28. Oktober 2026 um 14:16 Uhr