3 ms·
> Hardly. The second question may be answered, but clearly not the first. Also, the second question is answered in the negative for anyone who actually looks a
by bigstrat2003 1mo ago
> Hardly. The second question may be answered, but clearly not the first.
Also, the second question is answered in the negative for anyone who actually looks at what models do rather than what their makers claim they do. Models are very stupid.
- dist-epoch 1mo agoTurns out we were all wrong assuming mathematicians are some of the most intelligent people. Very stupid models can prove math things that the smartest humans failed to for decades.
- civvv 1mo agoHardly an accurate statement. Harnessed LLM’s are clearly capable at finding an answer to a mathematical problem in a pool of existing attempts by mathematicians, but I highly doubt that it will be able to solve math that it does not have massive amounts of pre-existing training data for. Which means we are entirely dependent upon intelligent mathematicians to continue their work and implement LLM’s as what it is: a great tool.