4 ms·
AoPS seems to have a forum dedicated to Putnam (including 2024): https://artofproblemsolving.com/community/c3249_putnam https://artofproblemsolving.com/communit
by HappyPanacea 1y ago
AoPS seems to have a forum dedicated to Putnam (including 2024): https://artofproblemsolving.com/community/c3249_putnam https://artofproblemsolving.com/community/c3249_putnam and here is a pdf with solutions to Putnam 2023: https://kskedlaya.org/putnam-archive/2023s.pdf https://kskedlaya.org/putnam-archive/2023s.pdf
- EvgeniyZh 1y agoThese are still need to be formalized in Lean which can be harder than solving the problem sometimes