24 ms·
This is really only a short-term problem where the AI companies only have the internal models that can solve these. In the “long” term, which could honestly mea
by bobzowak 21d ago
This is really only a short-term problem where the AI companies only have the internal models that can solve these. In the “long” term, which could honestly mean months, everyone will have access to Bel/C/D-level models capable of solving these anyway.
- nojs 21d agoThis. Like programming, the community will shortly be forced to come to terms with a lot of new self-proclaimed mathematicians “vibe-solving” problems and dumping solutions without understanding them. It’s not really a special case for mathematics.
- pfdietz 21d agoThat's going to force formalization to become required for any new result to be taken seriously.