Ieri ho superato una soglia interessante, che penso molti altri matematici stiano superando recentemente. Nel tentativo di dimostrare un risultato, ho identificato un'affermazione che sembrava vera e che, se vera, sarebbe utile per me. 1/3

Invece di cercare di dimostrarlo, ho chiesto a GPT5 e in circa 20 secondi ho ricevuto una dimostrazione. La dimostrazione si basava su un lemma di cui non avevo mai sentito parlare (l'affermazione era un po' al di fuori delle mie aree principali), quindi anche se sono sicuro che ci sarei arrivato alla fine, 2/3

il tempo che mi sarebbe servito sarebbe probabilmente stato dell'ordine di un'ora (una stima che viene con barre di errore piuttosto ampie). Quindi sembra che siamo entrati nell'era breve ma piacevole in cui la nostra ricerca è notevolmente accelerata dall'AI ma l'AI ha ancora bisogno di noi. 3/3

PS Nel caso in cui qualcuno sia preoccupato che abbia usato un lemma di cui non avevo mai sentito parlare, ho verificato che il lemma non fosse un'allucinazione.