What is the model used for maths since it is not LLM? This model would have to be strap on a formal solver as a tool. Are those models training to use "scratch memory"? So many question about the models used for real maths.
yorwba•6h ago
The article is about an LLM being used for real maths.
sylware•6h ago
Exactly why I do ask for non LLM, since it is not specialized for maths.
gus_massa•2h ago
I think now LLM are surprisinly good at high level math.
sylware•51m ago
Then specialized models would be even better, more so if the ML/inference uses a formal solver and maybe some scratch memory.
sylware•7h ago
yorwba•6h ago
sylware•6h ago
gus_massa•2h ago
sylware•51m ago