News for hackers. Stuff that matters.

A comment on DeepSeek-Prover-V2. Parent comment

Re:DeepSeek-Prover-V2 by someguy101010 on Wednesday April 30, 2025 @01:05PM (#43848046)
The No Free Lunch Theorem implies that something like this is inevitable https://en.wikipedia.org/wiki/No_free_lunch_in_search_and_op...
[ Parent | on HN ]
Re:DeepSeek-Prover-V2 by repsilat on Wednesday April 30, 2025 @01:29PM (#43848332)
A system of n experts is no different to a single expert wrt the NFLT. The theorem is entirely indifferent to (ie "equally skeptical of") the idea.
[ Parent | on HN ]