Ciekawostka. Dziś mija 30 lat od kiedy Andrew Wiles przedstawił dowód dla Wielkiego Twierdzenia Fermata.

Z terminem "Wielkie Twierdzenie Fermata" (czasem nazywanym też "Ostatnim") można czasem zetknąć się w pop kulturze, nie wiem jednak czy każdy kto się z nim spotkał, wie o co chodzi.
Pierre de Fermat w liście do swojego przyjaciela sformuował twierdzenie, że równania diofantyczne postaci a^n + b^n = c^n nie mają rozwiązań dla n > 2. Nie da się więc wskazać takich całkowitych dodatnich a,b,c by zachować np. równanie a^3 + b^3 = c^3. Jednocześnie stwierdził też, że dowód jest "na tyle zaskakujący", że w liście nie sposób go umieścić. Finalnie jak wiele swoich "odkryć", tak i to Fermat pozostawił bez dowodu. Miało to miejsce około roku 1637, a dowód tego twierdzenia został przedstawiony dopiero w 1994. Można by rzec, dla każdego problemu ciągle istnieje nadzieja, że ktoś kiedyś go rozwiąże.
@escarabajo @macio_944 @Kidd