3 ms·
This doesn't follow for me. There are what, Dozens or Erdos tier problems that got solved with no progress for decades? How does that factor in to your view?
by vonneumannstan 17d ago
This doesn't follow for me. There are what, Dozens or Erdos tier problems that got solved with no progress for decades? How does that factor in to your view?
- fc417fc802 17d agoIIUC the argument is that while unsolved there was much work done on them that shows up in the training data. The idea being that the LLM is limited to a small amount of inference over externally supplied data.
- eieje1 17d ago[dead]
- vonneumannstan 15d agoAnd yet the best humans could not use that same available data to solve the problems.