Temat: matematyka | gikiewicz.eu

Terence Tao sprawdza kontrprzykład dla hipotezy Jacobiego z ChatGPT

Terence Tao, jeden z najbardziej cenionych współczesnych matematyków, opublikował publiczny zapis swojej sesji z ChatGPT. Tematem rozmowy był kontrprzykład dla Conjecture Jacobiego – jednego z najtrudniejszych nierozwiązanych problemów w algebrze. Andrew Conner na platformie X nazwał ten zapis fascynującym oglądem sposobu myślenia eksperta. TL;DR: Terence Tao udostępnił pełną sesję z ChatGPT, podczas której analizował kontrprzykład […]

AI AI ChatGPT dowody matematyczne GPT-5.5 matematyka OpenAI problem Erdősa 26.04.2026

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 […]