Is there a current active area of mathematical research where an amateur can contribute to the field (i.e. enough open tractable problems for it to be feasible)?

This page summarizes the projects mentioned and recommended in the original post on /r/math
Lean theorem-proving Formal Methods formal-proofs formal-mathematics

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • mathlib

    Lean 3's obsolete mathematical components library: please use mathlib4

    • In lean there is mathlib https://github.com/leanprover-community/mathlib And this is a list of problems: https://leanprover-community.github.io/undergrad_todo.html

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts