| ▲ | drivebyhooting 2 hours ago |
| Can we audit the CoT and work the AI did to generate such a remarkable cancellation? |
|
| ▲ | castedo an hour ago | parent | next [-] |
| 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.wikipedia.org/wiki/Computer_algebra_system tool, a human prompting with deep math expertise, and lots of compute that explains hitting upon the remarkable cancellation. |
| |
| ▲ | tptacek 35 minutes ago | parent | next [-] | | I think you can reasonably assume that frontier models are using SymPy or something like it any time interesting math gets into the picture, and the person driving Fable here is an accomplished mathematician, but I don't think we can reasonably assume either extensive prompting or brute-force compute in any sense other than what it normally takes Fable to, say, whip up a calculator app. | |
| ▲ | jasonfarnon an hour ago | parent | prev | next [-] | | Not just an assumption, I saw the LLM saying it used sympy. | | | |
| ▲ | p-e-w an hour ago | parent | prev [-] | | > a human prompting with deep math expertise The original tweet implied that the whole thing was done while the author was watching the World Cup final. I know it’s tempting to hope that a human did the “real” work here, but if some special insight was put into prompting, the author kept it to himself, and there is no reason why they would hide this since it would elevate their own status. |
|
|
| ▲ | netvarun 31 minutes ago | parent | prev [-] |
| https://news.ycombinator.com/item?id=48986943 |
