Przyspieszanie odkryć naukowych

“Nie ma wątpliwości, że rozwiązanie problemu odległości jednostkowych jest kamieniem milowym matematyki AI: gdyby człowiek napisał ten artykuł i przesłał go do Annals of Mathematics, a mnie poproszono o szybką opinię, bez najmniejszego wahania zarekomendowałbym jego przyjęcie. Żaden wcześniejszy dowód wygenerowany przez AI nawet się do tego nie zbliżył.”

“CoT modelu jest niezwykle interesujący. Warto zauważyć, że znaczna większość tych myśli próbuje skonstruować kontrprzykład dla powszechnie uznawanego górnego ograniczenia, zamiast próbować je udowodnić. To przemawia za tym, że model cechuje się pewnym połączeniem dobrej intuicji, gotowości do wypróbowywania podejść uznawanych przez społeczność za mało obiecujące oraz predyspozycji do podejmowania prób konstruowania… Moim zdaniem ten artykuł pokazuje, że obecne modele AI wykraczają poza rolę zwykłych pomocników ludzkich matematyków – są zdolne do opracowywania oryginalnych, pomysłowych idei, a następnie potrafią je w pełni zrealizować.”

“To naprawdę imponująca praca i bez wahania przyjąłbym ją do każdego czasopisma. Sam krótko pracowałem nad tym problemem i próbowałem znaleźć kontrprzykład, ale nie udało mi się zrobić postępu… To zdecydowanie onieśmielająca konstrukcja do prześledzenia nawet wtedy, gdy wiadomo, co się dzieje, a jeszcze trudniej samemu się nią pobawić.”