Don't LLM's have enough insight in at least the very concepts here? o3 is considered PhD level on this. Maybe not pure math solving since LLM's suck on that, bu

Don't LLM's have enough insight in at least the very concepts here? o3 is considered PhD level on this. Maybe not pure math solving since LLM's suck on that, but I wouldn't be quick to doubt the capacity of understanding the advanced concepts and typical wording. Also, this is hopefully not passing through LLM's completely unvetted, but as a crutch to get 80-90% there with minimal effort.