Lesenswerte Beiträge von Anderen
- 22.7.2026 AIadvicesuppressespeople’swillingnesstosay“Idon’tknow”,evenwhentheadviceiswrongandaccuracyisincentivized - Artikel von ChiaraMarcoccia,WalterQuattrociocchi und ValerioCapraro, über eine Studie die zeigt, dass KI-Unterstützung die Fähigkeit von Menschen, ihre Wissensgrenzen zu erkennen, signifikant beeinträchtigen kann.
- 23.6.2026 Lovely, Not Loved Prof. Youngjiin Yoo vpn der London School of Economics über KI-Gefahren und Haltungen zu KI. Bemerkenswert seine Unterscheidung in Werkzeug (Vacuum-Cleaner) - und Weiterbildungs- (Scaffolding)-Anwendungen.
- 27.1.2026 Creating Animations for Maths Teaching - Artikel von Paul Libbrecht und Veronica Mas über die Erstellung und Nutzung von mathematischen Animationen mit Manim
- 26.1.2026 Solutions to Erdős problems where AI tools played a primary role - Lösung von mathematischen Problemen mit KI und interaktivem Theorembeweise Lean
- 22.1.2026 Anwendungen aktueller KI für die Mathe-Lehre - Video von Jörn Loviscach (Bielefeld)
- 18.1.2026 Agile Entwicklung von Studiengängen unter Berücksichtigung von KI-Kompetenzen Praktische Hinweise aus dem Projekt AI-Comp
- 28.12.2025 Potentielle Gefährlichkeit von KI-Agenten - Ein Interview der Berliner Zeitung mit Roman Yampolskiy
- 26.12.2025 Zusammenarbeit von KI und Mensch bei der Lösung eines mathematischen Problems - GPT5 löst ein offenes Problem, die Lösung wird mit unterschiedlichen KI-Systemen aufbereitet, eischließlich Lean als symbolischer KI. S.a. meine Bemerkung am 20.10.25 zur Lösung des Robbins Problems 1997. Ein Beitrag auf The Decoder
- 17.12.2025 Gründe für das Scheitern von Projekten mit KI-Agenten - mangelhafte Einarbeitung von KI und Mitarbeitern, schlechte Datenqualität, mangelnde Workflow-Integration. Mögliche Verbesserungen durch Knowledge Graphs in 2026. Beitrag von BigData Insider
- 5.12.2025 Gefährliche Entscheidungen durch KI-Agenten: Warum Stress zum Problem wird - ein Beitrag von t3n
- 2.12.2025 Die besten KI-Innovationen in Lehr-Lernsystemen - eine aktuelle Übersicht von ElearningIndistries
- 13.11.2025 The All-in-one AI Business Cheat Sheet - eine Übersicht über aktuelle KI-Trends für Führungskräfte von Laura Lewandowski (Smart Chiefs)
- 22.10.2025 Kreide trifft Cloud - eine Studie des Hochschulforums Digitalisierung zum digitalen Lehren und Lernen in der Hochschulmathematik. Berücksichtigt die Arbeiten in Rheinland-Pfalz nicht.
- 20.10.2025 OpenAI-Forscher feiern mathematischen KI-Durchbruch, der keiner war Beitrag von The decoder und Heise KI pro. KI hat entdeckt, dass es in der Literatur bereits Lösungen eines Problems gab, das als ungelöst galt.
NB: In der Tat hat aber der symbolische Theorembeweiser Otter von Bill McCune bereits im Oktober 1997 das Robbins-Problem (Jede Robbins-Algebra ist eine Boolesche Algebra) gelöst, das seit den 1930er Jahren offen war. Mit Hilfe des ILF-Systems, dass meine Arbeitsgruppe an der Humboldt-Universität zu Berlin entwickelte, konnte ich das unverständliche, weil zu detaillierte, Beweisprotokoll in einen Beweis transformieren, der mathematische Einsichten vermittelt und der 1998 im Journal of Algebra publiziert wurde.