AoPS seems to have a forum dedicated to Putnam (including 2024): https://artofpr... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		HappyPanacea 8 months ago \| parent \| context \| favorite \| on: DeepSeek-Prover-V2 AoPS seems to have a forum dedicated to Putnam (including 2024): https://artofproblemsolving.com/community/c3249_putnam and here is a pdf with solutions to Putnam 2023: https://kskedlaya.org/putnam-archive/2023s.pdf

EvgeniyZh 8 months ago [–]

These are still need to be formalized in Lean which can be harder than solving the problem sometimes

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact