L'AI dimostra un teorema. Ma è il matematico a spiegare perché funziona

Un preprint di Parisi e Zamponi ha usato Claude, il modello di Anthropic, per chiudere una prova sul jamming rimasta aperta per anni. Si riapre il dibattito su cosa significhi "scoperta" in matematica