Ok I guess I could have told you that. What I really meant is that in the future... | Hacker News

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

		zaxioms 48 days ago \| parent \| context \| favorite \| on: DeepSeekMath-V2: Towards Self-Verifiable Mathemati... Ok I guess I could have told you that. What I really meant is that in the future where LLMs are doing new math (which I'm skeptical of, but I digress) I would not trust any of it unless it was formally verified.

blazespin 47 days ago [–]

if you read the paper that is the intention, to guide stuff like lean.

i don't think llm is a great pure rlvr

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