“The programs generated by OpenAI's o3 are natural language instructions for an LLM to execute, not executable symbolic programs.”