News for hackers. Stuff that matters.

A comment on Case study: Creative math – How AI fakes proofs.

Re:Case study: Creative math – How AI fakes proofs by segmondy on Sunday January 25, 2026 @09:56PM (#46761336)
if you want to do math proofs use AI built for proof

https://huggingface.co/deepseek-ai/DeepSeek-Math-V2

https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B

[ Parent | on HN ]

There are no comments on this comment yet.