Amator z ChatGPT rozwiazał problem Erdősa. Jak AI zmienia matematykę
Prawdziwy amator matematyki użył ChatGPT do rozwiązania problemu, nad którym profesjonaliści pracowali przez dekady. Ten przypadek pokazuje, jak modele językowe zmieniają dostęp do zaawansowanych badań naukowych. TL;DR: Użytkownik bez formalnego wykształcenia matematycznego wykorzystał ChatGPT do znalezienia rozwiązania wariacji problemu Erdősa. Model pomógł w sformułowaniu dowodu, wygenerowaniu kroków logicznych oraz weryfikacji obliczeń. Sprawa ta ilustruje, jak […]