Zum ersten Mal hat ein KI-Modell (GPT-5) autonom ein offenes mathematisches Problem gelöst, das unserem Benchmarking-Projekt IMProofBench vorgelegt wurde, mit einem vollständigen, korrekten Beweis, ohne menschliche Hinweise oder Eingriffe. Ein kleiner, aber neuartiger Beitrag zur enumerativen Geometrie. Einige Hintergründe: