Estoy buscando proyectos de investigación matemática de código abierto, ya que sé que los estudiantes de ciencias de la computación pueden tener fácil acceso a material en el que puedan contribuir, pero no es el caso con las matemáticas que yo conozca. Sin embargo, estoy buscando una posible respuesta con proyectos de investigación matemática de código abierto o colaborativos en los que alguien en su último año de obtener una licenciatura o durante una maestría podría contribuir. Siempre que tengan la capacidad necesaria, por supuesto.
Respuestas
¿Demasiados anuncios?
Martin Gordon
Puntos
19587
Me sorprende que aún nadie haya mencionado los varios proyectos (interrelacionados) para formalizar demostraciones matemáticas en una computadora, en el software de demostración de teoremas Lean:
- mathlib, una biblioteca general que parece tener como objetivo cubrir en última instancia toda la matemática pura hasta el nivel de licenciatura (al menos);
- proyectos más especializados (basados en mathlib) como el Liquid Tensor Experiment (verificando una importante demostración del trabajo de Clausen y Scholze en matemáticas condensadas), sphere-eversion, Último teorema de Fermat para primos regulares, etc.
Estos son todos proyectos de código abierto alojados en GitHub.
Personalmente afirmaría que estos proyectos constituyen "investigación", aunque quizás no todos los matemáticos estén de acuerdo con eso; y definitivamente ofrecen muchas oportunidades para contribuir para cualquier persona con formación matemática hasta el nivel de licenciatura (al mismo tiempo que ofrecen la oportunidad de involucrarse con material mucho más avanzado si así lo deseas).
Миша Кошелев
Puntos
486
Polymath es un ejemplo de matemáticas colaborativas. Puede ser o no adecuado, dependiendo de tu energía, talento y experiencia. https://asone.ai/polymath/index.php?title=Main_Page
Thomas
Puntos
347
Hay dos ejemplos (que yo conozca) de proyectos de matemáticas de código abierto. El primero es el proyecto polymath. Lamentablemente, recientemente parece que el progreso se ha disipado, pero quizás con unas cuantas personas más que se unan, pueda volver a ponerse en marcha.
El segundo proyecto de código abierto está avanzando a toda máquina, con muchas personas nuevas uniéndose y muchos lugares donde contribuir. El Desafío Busy Beaver, intentando encontrar el valor de BB(5). Hay muchas formas de ayudar, desde programar decidores hasta encontrar nuevos comportamientos o pruebas de validez. Es un lugar perfecto para que un estudiante de Licenciatura o Máster contribuya.
Gerry Myerson
Puntos
23836
Hay PrimeGrid:
"El objetivo principal de PrimeGrid es avanzar en las matemáticas permitiendo a los usuarios de computadoras contribuir con la potencia de procesamiento de sus sistemas para encontrar números primos. Simplemente descargando e instalando BOINC y uniendo al proyecto PrimeGrid, los participantes pueden elegir entre una variedad de formas de números primos para buscar. ¡Con un poco de paciencia, puedes encontrar un número primo grande o incluso récord y entrar en la Base de Datos de Números Primos Conocidos Más Grandes de Chris Caldwell con un número primo de varios millones de dígitos!"
Y luego está ZetaGrid:
"ZetaGrid es un sistema de cuadrícula independiente de la plataforma que utiliza ciclos de CPU inactivos de las computadoras participantes. La computación en red se puede utilizar para cualquier aplicación intensiva de CPU que se pueda dividir en muchos pasos separados y que requeriría tiempos de computación muy largos en una sola computadora. ZetaGrid se puede ejecutar como un proceso en segundo plano de baja prioridad en diversas plataformas como Windows, Linux, AIX, Solaris, HP-UX y Mac OSX. En sistemas Windows también se puede ejecutar en modo protector de pantalla."
