FormulaOne – new LLM benchmark using Dynamic Programming problems | Dark Hacker News