3 ms·
> You just know nothing about math and are happy to parrot bullshit AI salesmen are selling you. Not the parent poster here. I do know things about math. I wro
by skinner_ 4mo ago
> You just know nothing about math and are happy to parrot bullshit AI salesmen are selling you.
Not the parent poster here. I do know things about math. I wrote a few papers related to the unit distance problem (https://arxiv.org/abs/2311.10069 https://arxiv.org/abs/2311.10069, https://arxiv.org/abs/2406.15317 https://arxiv.org/abs/2406.15317) and spent quite some time trying to solve it. I had no chance of coming up with the proof that the spicy autocomplete came up with. Dumb benchmark, sure.
- otabdeveloper4 4mo agoLLMs are good with symbolic manipulation but can't reason. You can skirt around not reasoning in research math because so much of it is just extremely tedious symbolic manipulation. You can't cheat with advanced fourth grade math, though. They don't know algebra yet and can't substitute verbosity for reasoning.
- skinner_ 4mo ago> You can skirt around not reasoning in research math because so much of it is just extremely tedious symbolic manipulation. LOL