Limite Formale al Miglioramento Ricorsivo di Sé nell'IA
Un nuovo articolo su arXiv (2605.27381) presenta un risultato formale di separazione nella teoria classica della computabilità che mette in discussione le affermazioni sul miglioramento ricorsivo di sé nell'IA. Gli autori dimostrano che l'automodifica interna finita rimane all'interno dello stesso strato computazionale, mentre la revisione stabilizzata richiede un salto a un livello relativo più forte tramite il lemma del limite relativizzato. Questo risultato blocca il passaggio dalla revisione interna ripetuta a una capacità qualitativamente più forte senza una chiara distinzione di regime computazionale. L'articolo non nega che strati più forti possano emergere, ma sostiene che non sono spiegati dalla ripetizione finita all'interno di uno strato già stabilito.
Fatti principali
- Articolo arXiv:2605.27381
- Tipo di annuncio: cross
- Dimostra che l'automodifica interna finita rimane all'interno dello strato computazionale C(A)
- La revisione stabilizzata è governata dal salto A' tramite il lemma del limite relativizzato
- Il teorema di chiusura locale vs. fuga produce una separazione formale
- Mette in discussione le affermazioni sul miglioramento ricorsivo di sé nell'IA
- Pubblicato su arXiv
- Utilizza la teoria classica della computabilità
Entità
Istituzioni
- arXiv