Matemáticas
Investigación en matemáticas, evaluada sobre la demostración
Las matemáticas son el único campo cuyos artefactos pueden, en principio, verificarse por completo. El borrador de estándar de abajo pregunta cuánta de esa verificabilidad entrega realmente un trabajo.
Qué cuenta como evidencia de competencia en matemáticas
Una demostración es un artefacto de investigación completo por sí misma: ningún dataset, aparato o cohorte de replicación se interpone entre el lector y la afirmación. arXiv guarda la mayor parte de la literatura de trabajo del campo, y un evaluador puede ir tan profundo como quiera — desde la arquitectura de un argumento hasta si un lema crítico realmente se sostiene.
La formalización añadió un segundo tipo de evidencia. Las contribuciones a bibliotecas de demostraciones como mathlib de Lean son matemática verificada por máquina en público, y el juicio involucrado — enunciar definiciones de modo que los teoremas sigan siendo demostrables, estructurar argumentos para que compongan — es competencia investigadora en una forma que ningún informe de árbitro puede exagerar.
Más allá de la academia, la investigación matemática corre por la criptografía, la optimización y las finanzas cuantitativas, donde una demostración errónea tiene precio. La escritura expositiva también cuenta: hacer genuinamente legible un argumento difícil es evidencia del mismo entendimiento que produce argumentos nuevos.
El registro colaborativo del campo también es legible: respuestas que resolvieron preguntas en foros públicos de investigación, informes de árbitro que los autores hicieron públicos, erratas que corrigieron lagunas reales, notas de curso que un área realmente usa. Cada una es una muestra de juicio matemático aplicado al argumento de otra persona — que es exactamente la actividad que esta comunidad formaliza y lo primero que se les pedirá a los evaluadores.
La rúbrica de evaluación de matemáticas, primer borrador
Las matemáticas pueden verificarse hasta el fondo, así que esta rúbrica puntúa cuánta de esa verificabilidad entrega el trabajo a su lector.
- Corrección y completitud
- El argumento se sostiene, las lagunas se nombran como lagunas y los lemas se demuestran o se citan con precisión — nunca se dan por buenos con un gesto.
- Exposición verificable
- La demostración está escrita para que un lector humano la verifique, no solo la crea: definiciones exactas, dependencias explícitas, notación estable.
- Verificabilidad
- El trabajo está estructurado de modo que sus pasos críticos podrían verificarse por máquina o auditarse de forma independiente, exista o no todavía una formalización.
- Ubicación del problema
- La relevancia del enunciado se argumenta — su conexión con un programa de ideas, qué mueve su verdad o su falsedad — en lugar de asumirse por la dificultad.
Los evaluadores fundadores de matemáticas afilarán este borrador con demostraciones publicadas y bibliotecas formalizadas antes de que se puntúe a nadie contra él.
Qué harán los evaluadores fundadores de matemáticas
Sondear la rúbrica con los casos límite del campo: una demostración asistida por computadora, un anuncio sin los detalles completos, un artículo panorámico profundo.
Correr rondas de calibración con demostraciones públicas y contribuciones de formalización, puntuando de forma independiente y diseccionando dónde difieren los lectores cuidadosos.
Comenzar los registros de calibración que le darán a la evaluación matemática su ponderación cuando la comunidad se abra más allá de la cohorte fundadora.
Para quién es
La cohorte necesita matemáticos que leen las demostraciones como se hicieron para leerse — hasta el fondo:
- Matemáticos de investigación, en la academia o en la industria, que arbitran con cuidado y quieren ese juicio en el registro.
- Formalizadores y contribuidores de asistentes de demostración cuyos commits son matemática verificable.
- Matemáticos aplicados en criptografía, optimización y finanzas cuyas demostraciones enfrentan consecuencias.
- Estudiantes de posgrado y postdocs cuya profundidad supera su recuento de publicaciones.
Para quién no es
Con la misma precisión que el campo espera en todo lo demás:
- Quien busca validación para sus propios teoremas — la evaluación aquí lee el trabajo de otros.
- Matemáticos para quienes solo su propio subcampo cuenta como matemática de verdad; la rúbrica tiene que servir al campo entero.
- Quien prefiere que su exactitud de evaluación no se mida.
- Quien necesita que la plataforma de puntuación exista hoy — se está diseñando, y esta página lo dice con claridad.
Postúlate para evaluar matemáticas
Matemáticas viene preseleccionada en la postulación. Enlaza un listado de arXiv, un perfil de ORCID o trabajo de formalización que podamos leer.