Matemática
Pesquisa em matemática, avaliada pela prova
A matemática é o campo cujos artefatos podem, em princípio, ser verificados por completo. O rascunho de padrão abaixo pergunta quanto dessa verificabilidade um trabalho de fato entrega.
O que conta como evidência de competência em matemática
Uma prova é um artefato de pesquisa completo por si só: nenhum dataset, aparato ou coorte de replicação se interpõe entre o leitor e a alegação. O arXiv guarda a maior parte da literatura de trabalho do campo, e um avaliador pode ir tão fundo quanto quiser — da arquitetura de um argumento até se um lema crítico de fato se sustenta.
A formalização acrescentou um segundo tipo de evidência. Contribuições para bibliotecas de provas como a mathlib do Lean são matemática verificada por máquina em público, e o julgamento envolvido — enunciar definições de modo que os teoremas permaneçam demonstráveis, estruturar argumentos para que componham — é competência de pesquisa numa forma que nenhum parecer consegue superestimar.
Fora da academia, a pesquisa matemática corre pela criptografia, pela otimização e pelas finanças quantitativas, onde uma prova errada tem preço. Escrita expositiva também conta: tornar um argumento difícil genuinamente legível é evidência do mesmo entendimento que produz argumentos novos.
O registro colaborativo do campo também é legível: respostas que resolveram questões em fóruns públicos de pesquisa, pareceres que os autores tornaram públicos, erratas que corrigiram lacunas reais, notas de aula que uma área de fato usa. Cada um é uma amostra de julgamento matemático aplicado ao argumento de outra pessoa — que é exatamente a atividade que esta comunidade formaliza e a primeira coisa que se pedirá aos avaliadores.
A rubrica de avaliação de matemática, primeiro rascunho
A matemática pode ser verificada até o fundo, então esta rubrica pontua quanto dessa verificabilidade o trabalho entrega ao seu leitor.
- Correção e completude
- O argumento se sustenta, lacunas são nomeadas como lacunas e lemas são provados ou citados com precisão — nunca deixados passar.
- Exposição verificável
- A prova é escrita para ser verificada por um leitor humano, não apenas acreditada: definições exatas, dependências explícitas, notação estável.
- Verificabilidade
- O trabalho é estruturado de modo que seus passos críticos possam ser verificados por máquina ou auditados de forma independente, exista ou não uma formalização ainda.
- Colocação do problema
- A relevância do enunciado é argumentada — sua conexão com um programa de ideias, o que sua verdade ou falsidade move — em vez de presumida a partir da dificuldade.
Os avaliadores fundadores de matemática vão afiar este rascunho em provas publicadas e bibliotecas formalizadas antes de alguém ser pontuado contra ele.
O que os avaliadores fundadores de matemática farão
Sondar a rubrica com os casos-limite do campo: uma prova assistida por computador, um anúncio sem os detalhes completos, um survey expositivo profundo.
Rodar rodadas de calibração em provas públicas e contribuições de formalização, pontuando de forma independente e dissecando onde leitores cuidadosos diferem.
Começar os registros de calibração que darão à avaliação matemática sua ponderação quando a comunidade abrir além da coorte fundadora.
Para quem é
A coorte precisa de matemáticos que leem provas como elas foram feitas para ser lidas — até o fundo:
- Matemáticos de pesquisa, na academia ou na indústria, que arbitram com cuidado e querem esse julgamento registrado.
- Formalizadores e contribuidores de assistentes de prova cujos commits são matemática verificável.
- Matemáticos aplicados em criptografia, otimização e finanças cujas provas enfrentam consequências.
- Estudantes de pós-graduação e pós-docs cuja profundidade ultrapassa sua contagem de publicações.
Para quem não é
Com a mesma precisão que o campo espera em outros lugares:
- Quem busca validação para os próprios teoremas — a avaliação aqui lê o trabalho dos outros.
- Matemáticos para quem só o próprio subcampo conta como matemática de verdade; a rubrica precisa servir ao campo inteiro.
- Quem prefere não ter sua acurácia de avaliação medida.
- Quem precisa que a plataforma de pontuação exista hoje — ela está sendo desenhada, e esta página diz isso com clareza.
Candidate-se para avaliar matemática
Matemática vem pré-selecionada na candidatura. Aponte uma lista no arXiv, um perfil ORCID ou trabalho de formalização que possamos ler.