Donald Knuth says an AI solved a math problem he was stuck on for weeks

sylware · 2026-03-06T11:59:26 1772798366

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 · 2026-03-06T13:21:06 1772803266

The article is about an LLM being used for real maths.

sylware · 2026-03-06T13:33:23 1772804003

Exactly why I do ask for non LLM, since it is not specialized for maths.

tr230powell4 · 2026-03-06T22:33:33 1772836413

That's exactly what you did not ask. You or your translation tool are not fully accurate on the English language.

gus_massa · 2026-03-06T16:52:39 1772815959

I think now LLM are surprisinly good at high level math.

sylware · 2026-03-06T18:48:52 1772822932

Then specialized models would be even better, more so if the ML/inference uses a formal solver and maybe some scratch memory.