Niedostosowanie AI do matematyki

Artykuł analizuje misalignment między obecnymi systemami AI a wymogami matematyki. Identyfikuje problemy w zastosowaniu modeli językowych do formalnego rozumowania matematycznego.