Hacker Newsnew | past | comments | ask | show | jobs | submit | OxfordCommand's submissions login

1. ArXivLean: How Well Can LLMs Formally Prove Research Math? (matharena.ai) 3 points by OxfordCommand 9 days ago | past | discuss 2. Ultimate Linear Algebra Cheat Sheet (corca.app) 1 point by OxfordCommand 11 months ago | past 3. College Level Math Cheat Sheets (corca.app) 2 points by OxfordCommand 11 months ago | past 4. Harvard Admission Exam 1869 – Algebra (corca.app) 8 points by OxfordCommand on April 25, 2025 | past

Consider applying for YC's Summer 2026 batch! Applications are open till May 4 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: