News for hackers. Stuff that matters.

A comment on DeepSeek v4. Parent comment

Re:DeepSeek v4 by alansaber on Friday April 24, 2026 @08:35AM (#47889351)
Very interesting. I wonder how much of this is due to the context length. I am unclear on the implementation strategy, you ran this problem as a 1-shot using chat mode, or using each on an agent harness?
[ Parent | on HN ]
Re:DeepSeek v4 by segmondy on Friday April 24, 2026 @09:08AM (#47889695)
Has nothing to do with context length, they have experience training math models, they have a model that would take gold in IMO and a lean prover. Both have been out for almost a year.
[ Parent | on HN ]