Annals of Mathematics in the context of Institute for Advanced Study

Wiles's proof of Fermat's Last Theorem is a proof by British mathematician Andrew Wiles of a special case of the modularity theorem for elliptic curves. Together with Ribet's theorem, it provides a proof for Fermat's Last Theorem. Both Fermat's Last Theorem and the modularity theorem were believed to be impossible to prove using previous knowledge by almost all mathematicians at the time.

Wiles first announced his proof on 23 June 1993 at a lecture in Cambridge entitled "Modular Forms, Elliptic Curves and Galois Representations". However, in September 1993 the proof was found to contain an error. One year later on 19 September 1994, in what he would call "the most important moment of [his] working life", Wiles stumbled upon a revelation that allowed him to correct the proof to the satisfaction of the mathematical community. The corrected proof was published in 1995 in the journal Annals of Mathematics in the form of two articles, one authored by Wiles and the other co-authored by Wiles and Richard Taylor. Together, the two papers are 129 pages long and consumed more than seven years of Wiles's research time.

In game theory, a non-cooperative game is a game in which there are no external rules or binding agreements that enforce the cooperation of the players. A non-cooperative game is typically used to model a competitive environment. This is stated in various accounts most prominent being John Nash's 1951 paper in the journal Annals of Mathematics.

Counterintuitively, non-cooperative game models can be used to model cooperation as well, and vice versa, cooperative game theory can be used to model competition. Some examples of this would be the use of non-cooperative game models in determining the stability and sustainability of cartels and coalitions.