c. 1800 a.C.Plimpton 322 e as escolas de escribas
Uma tábua de argila babilônica atualmente na Universidade de Columbia lista quinze fileiras de triplos pitagóricos em notação sexagesimal, evidência da teoria sistemática dos números mil anos antes de Pitágoras. Foi produzido por uma cultura de escribas cujas escolas de tabletes treinaram calculadoras profissionais para a administração de templos e palácios – a primeira educação matemática institucional em qualquer lugar.
c. 300 a.C.Os Elementos de Euclides em Alexandria
Trabalhando em Alexandria sob Ptolomeu I, Euclides organizou a geometria grega em treze livros de definições, postulados e 465 proposições, cada um comprovado a partir do que veio antes. Os Elementos fixaram o método axiomático como padrão de verdade da matemática e permaneceram como um livro didático funcional por mais de dois mil anos — impresso em mais edições do que quase qualquer livro, exceto a Bíblia.
c. 820Al-Khwarizmi nomeia álgebra em Bagdá
Na Casa da Sabedoria do califa al-Ma'mun, Muhammad ibn Musa al-Khwarizmi escreveu um tratado sobre resolução de equações cuja operação chave, al-jabr ("restauração"), tornou-se a palavra álgebra. Seu texto aritmético transportou números decimais indianos para o mundo islâmico e mais tarde para a Europa, e a corrupção latina de seu nome - Algoritmi - tornou-se "algoritmo".
1545Cardano publica a cúbica – e inicia uma rivalidade
O Ars Magna de Gerolamo Cardano imprimiu soluções gerais para equações cúbicas e quárticas, incluindo o método cúbico que Niccolò Tartaglia lhe confiou em 1539 sob juramento de sigilo. A fúria pública de Tartaglia e os duelos de resolução de equações da época - em que os matemáticos defendiam os seus meios de subsistência em concursos abertos - mostram o quão competitiva e profissional a matemática da Renascença se tinha tornado.
1687Princípios de Newton
Philosophiæ Naturalis Principia Mathematica, de Isaac Newton, publicado apenas porque Edmond Halley pagou ele mesmo os custos de impressão, derivou o movimento dos planetas, luas e marés de três leis e da gravitação universal. A guerra de prioridades que se seguiu com Leibniz sobre o cálculo dividiu a matemática britânica e continental durante um século – a lição mais famosa da área sobre o custo do orgulho.
1900Hilbert define a agenda do século
No Congresso Internacional de Matemáticos em Paris, em 8 de agosto de 1900, David Hilbert apresentou dez de uma lista de vinte e três problemas não resolvidos, declarando que na matemática “não há ignorabimus” – não há incognoscível. A lista orientou a pesquisa durante cem anos; vários problemas, incluindo a hipótese de Riemann, permanecem em aberto hoje.
1931Gödel prova incompletude
Kurt Gödel, de 25 anos, em Viena, provou que qualquer sistema formal consistente e rico o suficiente para a aritmética contém afirmações verdadeiras que não pode provar. O resultado demoliu o programa de Hilbert de assegurar toda a matemática numa base axiomática completa e mudou permanentemente o que os matemáticos podem honestamente afirmar sobre o seu próprio assunto.
1976O teorema das quatro cores cai nas mãos de um computador
Kenneth Appel e Wolfgang Haken, da Universidade de Illinois, provaram que quatro cores são suficientes para qualquer mapa planar, usando cerca de 1.200 horas de computador para verificar quase duas mil configurações que nenhum ser humano poderia verificar manualmente. O departamento publicou em sua correspondência “QUATRO CORES SUFICIEM”, enquanto filósofos discutiam se uma prova inverificável conta – a primeira grande crise da matemática assistida por computador.
1995Wiles prova o último teorema de Fermat
Depois de sete anos trabalhando em segredo em seu estudo no sótão de Princeton, Andrew Wiles anunciou uma prova do Último Teorema de Fermat em Cambridge em junho de 1993 - depois passou quatorze meses reparando uma lacuna encontrada por um árbitro, fechando-a com Richard Taylor em setembro de 1994. A prova, publicada nos Annals of Mathematics em 1995, encerrou um desafio de 358 anos rabiscado em uma margem.
2025IA alcança ouro nas olimpíadas
Os sistemas do Google DeepMind e OpenAI tiveram desempenho com medalha de ouro em problemas da Olimpíada Internacional de Matemática em julho de 2025, um ano depois que o AlphaProof da DeepMind atingiu o nível prata. Com a biblioteca mathlib do assistente de prova Lean passando mais de um milhão de linhas de matemática formalizada, a profissão começou a debater seriamente quais partes da prova continuariam sendo trabalho humano.
