2 ms·
LLMs certainly use something similar They certainly do not. Read the papers where the IMO results were presented. No tools of any kind were used.
by CamperBob2 6mo ago
LLMs certainly use something similar
They certainly do not. Read the papers where the IMO results were presented. No tools of any kind were used.