3 ms·
Donald Knuth says an AI solved a math problem he was stuck on for weeks
- sylware 8mo agoWhat 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 8mo agoThe article is about an LLM being used for real maths.
- sylware 7mo agoExactly why I do ask for non LLM, since it is not specialized for maths.
- gus_massa 7mo agoI think now LLM are surprisinly good at high level math.
- sylware 7mo agoThen specialized models would be even better, more so if the ML/inference uses a formal solver and maybe some scratch memory.
- tr230powell4 7mo agoThat's exactly what you did not ask. You or your translation tool are not fully accurate on the English language.