Knuth opublikował artykuł, który podkreśla bardzo fajne zastosowanie AI, które niestety nazywają vibemathing. To jest przeciwieństwo "vibe-" czegokolwiek: Co się stało, to Filip Stappers zadał problem Claude'owi z bardzo ciasną pętlą samorefleksyjną, dosłownie: ** Po KAŻDYM uruchomieniu exploreXX py, NATYCHMIAST zaktualizuj ten plik [plan md] zanim zrobisz cokolwiek innego. ** Bez wyjątków. Nie zaczynaj następnej eksploracji zanim poprzednia nie zostanie udokumentowana tutaj. A potem starannie zweryfikowali każdą z 31 pętli. A po ostatniej pętli, która wydawała się udana, Knuth napisał rzeczywisty formalny dowód twierdzenia, aby w pełni zweryfikować wyniki. To jest prawdziwa matematyka z użyciem narzędzi, które są super fajne! Myślę, że można bezpiecznie powiedzieć, że badania nad formalnymi dowodami okażą się (haha, złapałem to) bardzo ważne w erze halucynujących maszyn.