Often LLMs seem to be aware that work is heavy, but knowing:
a) if something is possible
b) if something has been requested to take a long time ( a signal of abuse, like requesting illicit pictures in image generation)
is actually somewhat straightforward (I mean, if they are able to predict if something is a “substantial piece of work” as they seem to do already).
The mathematical proof thing is obviously marketing spin, you should pay more attention to what mathematicians are actually saying instead of hackernews folks.
These things are really good at being search engines and harnesses for iteration rather than some kind of advancing intelligence.
a) if something is possible
b) if something has been requested to take a long time ( a signal of abuse, like requesting illicit pictures in image generation)
is actually somewhat straightforward (I mean, if they are able to predict if something is a “substantial piece of work” as they seem to do already).
The mathematical proof thing is obviously marketing spin, you should pay more attention to what mathematicians are actually saying instead of hackernews folks.
These things are really good at being search engines and harnesses for iteration rather than some kind of advancing intelligence.
https://cacm.acm.org/research/formal-reasoning-meets-llms-to...