Comment by skinner_
1 hour 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/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.
LLMs 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.