FormulaOne – new LLM benchmark using Dynamic Programming problems #1 Post by scribu » Fri, Aug 15, 2025, 6:56 PM UTC FormulaOne – new LLM benchmark using Dynamic Programming problemstwitter.com