To be clear — the solution published via blogpost yesterday based on discrete program search driven by GPT-4o does not appear to be a new SotA at this time. That would still be @Jcole75Cole (with pure symbolic approaches not far behind).

→ View original post on X — @fchollet,