KI und Mathematik bei mathoverflow – Mathlog
Mathoverflow ist eigentlich eine Frage- und Antwortseite für in der Forschung aktive Mathematiker, Diskussionen zu Meta-Themen sind dort eher nicht so erwünscht. In den letzten Monaten ist es aber zu einem Diskussionsforum für die Rolle künstlicher Intelligenz in der mathematischen Forschung und die dadurch (für die Mathematiker) entstehenden Probleme geworden. In den letzten Wochen klingen…