| ▲ | bonoboTP 5 hours ago | |
> Machines absolutely will struggle with what to study, what theorems are desirable, and when do be done with a proof And why do you think this would be the case? I'm not talking about today but in 1-2 years. For reference o1 was released less than 2 years ago, and we've had reasonable coding agents for 9 months or so. | ||
| ▲ | colechristensen 4 hours ago | parent [-] | |
> why do you think this would be the case? Mathematics is ultimately an aesthetic pursuit. Outside of a well defined goal ML models don't have any sense of taste and regardless of the scaling that's been enabled in the last year or so of capability if they haven't memorized the process of doing something they have the same limitations of inability to make choices about unknowns not trained into them. Real synthetic intelligence seems to me to be still very far away and not a matter of making models bigger or more efficient. | ||