Ask HN: Are LLMs Solving Math?

Are LLM agents solving all known math problems from low to high complexity consistently now or are LLMs "only" synthesizing solutions for ripe problems given humanities current math knowledge?