Hacker News Reader

bigstrat2003

> 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.

View on HN

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.

Hardly 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.

Reply on news.ycombinator.com