Mit gondolsz az AI 11 nap alatti Fermat-áttöréséről?

Az Anthropic Claude AI-ja egy fejlett prototípus segítségével 11 nap alatt formalizálta, azaz számítógéppel ellenőrizhető kóddá alakította Fermat utolsó tételének bizonyítását – egy olyan munkát, amelyről azt gondolták, emberi erővel akár 10 &eacu

• Lenyűgöző, valódi mérföldkő a matematikában
• Érdekes, de óvatosan kell kezelni az eredményt
• Túlértékelt, csak formalizálás volt, nem új bizonyítás
• Aggasztó, hova vezet ez a matematikusok szerepére nézve