RE: https://chaos.social/@rstockm/117456330621271160

#Mathe und #KI

In der Volksfront zur Befreiung der Mathematik begutachtet das KI-freie Lager keine Paper mehr aus dem KI-offenen Lager, das wiederum auf Doktorarbeiten herabblickt, die ein Agent übers Wochenende hätte schreiben können. Die Formalisierer erklären beide Seiten für irrelevant, Lean prüft ja ohnehin alles. AMS und EMS verkünden, man möge doch bitte gemeinsam feiern. Drei Petitionen zirkulieren, von denen jede sich von beiden anderen distanziert. Und OpenAI eröffnet die Sitzung mit der Mitteilung, die Tagesordnung sei bereits gelöst. Hinten im Saal bestehen derweil die Intuitionisten darauf, dass das Herausgebergremium der Annalen 1928 nie ordnungsgemäß aufgelöst wurde.

Spalter!!!