Un'IA ha trovato il bug nel mio codice

Controllare da solo i miei conti mi lasciava inquieto. Un calcolatore che calcola male è peggio di nessun calcolatore. Così ho chiesto a un'altra IA di ricavare ogni funzione dalla legge, come se non avesse mai visto il mio codice.

Avevo trattato il tetto della detrazione sui redditi da lavoro come un valore fisso per fascia di reddito. In realtà la legge lo fa decrescere: dentro la stessa fascia, più sale il reddito più scende il tetto. Attorno a uno stipendio di 70,1 milioni di won il mio numero sbagliava di 110.000 won.

Ho ricontrollato anche le aliquote. Nel 2026 la pensione nazionale coreana è salita al 4,75% e il salario minimo a 10.320 won. Dopo la correzione ho verificato con quattro cifre pubblicate da fonti diverse: salario minimo mensile 2.156.880 won, tetto del contributo sanitario 9.183.480 won, assistenza a lungo termine allo 0,9448%, tetto del contributo pensionistico 626.050 won. Tutte e quattro tornavano.

La cosa buffa è che anche l'altra IA ha sbagliato. Ha dato il tetto in tre fasce; la legge ne ha quattro. Abbiamo sbagliato in punti diversi — ed è esattamente per questo che valeva la pena fare entrambi i passaggi.