Viewing profile — castedo

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…

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 …

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…

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 com…

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 ther…

... and vibe subscriptions that we can vibe pay with vibecoin.

> 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…

> 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 k…

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…

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 pro…