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?
i know some maths problems are just that, problems in maths unsolved as a mathematical excersize, but a lot are problems attempted to by soles _using_ math which is different and imho the goal/idea of maths. describe something meaningful in a logical language.