3 ms·
Turns 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 f
by dist-epoch 1mo ago
Turns 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.