Wczoraj przekroczyłem interesujący próg, który, jak sądzę, wielu innych matematyków również ostatnio przekracza. W trakcie próby udowodnienia pewnego wyniku zidentyfikowałem stwierdzenie, które wydawało się prawdziwe i które, jeśli byłoby prawdziwe, byłoby dla mnie użyteczne. 1/3

Zamiast próbować to udowodnić, zapytałem GPT5 o to i w ciągu około 20 sekund otrzymałem dowód. Dowód opierał się na lemacie, o którym wcześniej nie słyszałem (stwierdzenie było nieco poza moimi głównymi obszarami), więc chociaż jestem pewny, że w końcu bym do tego doszedł, 2/3

Czas, który by mi to zajął, prawdopodobnie wynosiłby rząd wielkości godziny (szacunek, który ma dość szerokie marginesy błędu). Wygląda na to, że weszliśmy w krótką, ale przyjemną erę, w której nasze badania są znacznie przyspieszane przez AI, ale AI wciąż nas potrzebuje. 3/3

PS W przypadku, gdyby ktokolwiek się martwił, że użyto lemat, o którym nie słyszałem, sprawdziłem, że lemat nie był halucynacją.