Hacker Newsnew | past | comments | ask | show | jobs | submit | ptrj_'s submissionslogin
1.
A mathematical proof assistant (v2) (github.com/teorth)
4 points by ptrj_ 8 months ago | past
2.
DeepSeek-Prover-V2-671B (huggingface.co)
14 points by ptrj_ 9 months ago | past
3.
Export Control Diffusion Confusion (oracle.com)
1 point by ptrj_ on Jan 6, 2025 | past

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

Search: