castedo

7 ms·

1.
by castedo 2mo ago
For example "Yesterday a really good mathematician told me Anthropic is paying experts like him $250/hour to improve Fable by throwing hard math problems at it." https://mathstodon.xyz/@johncarlosbaez/116
2.
by castedo 2mo ago
I can't tell what your point is, but it sounds like a straw man. A more likely scenario (than your strawman) is that Anthropic employees could be using models under development to try and crack math conjectures that have PR value and i
3.
by castedo 2mo ago
I know it's temping to hope there is a single simple factor that does the "real" work, but this feat of mathematics is likely best explained by multiple interacting factors, one of them being the mathematical insights of the
4.
by castedo 2mo ago
Fable "whipping up" SymPy like a "calculator app" is one such interaction that seems very plausible (in addition to SymPy providing feedback when training models). The scale of compute available to an Anthropic employee
5.
by castedo 2mo ago
I doubt Anthropic will share the details (or at least the full true details). The mystery of the magic makes for much better marketing. I think a reasonable assumption is that there is an interaction between an LLM, a https://en.
6.
by castedo 4mo ago
... and vibe subscriptions that we can vibe pay with vibecoin.
7.
by castedo 4mo ago
> well then help us out here: can you be specific? In "Remarks on the disproof of the unit distance conjecture" ( https://arxiv.org/abs/2605.20695 ) I think Melanie Matchett Wood's remark is the most in
8.
by castedo 4mo ago
> The fact that these "stochastic code extruders" can solve Erdos problems is sort of the proof in the pudding. This claim is very misleading and not really true. It reflects the kind of exaggeration and spin made by corporate
9.
by castedo 4mo ago
Similar use cases of useful AI one-shot projects are: demos, proof-of-concept, prototype, exploratory tests, etc... I've AI-generated an HTML/javascript craplet to test how browser security would behave for certain JavaScript API
10.
by castedo 5mo ago
Me too, ... more or less. I'm mostly still typing, sometimes copy-and-pasting with typed changes, and rarely copy-and-pasting verbatim. With the caveat that in some cases, like prototypes, proofs-of-concept, and porting code between la