3 ms·
If that’s the case, are you saying the proof was part of the training set? A lot of novelty is just gluing approaches together and reporting what sticks.
by pylua 5mo ago
If that’s the case, are you saying the proof was part of the training set?
A lot of novelty is just gluing approaches together and reporting what sticks.
- themafia 5mo agoYes. A lot of brute force methods are the most inefficient means of solving a problem. Language Models are a sign that our current human information infrastructure and access methods are completely wrong.
- pylua 5mo agoArguably, since everything resolves to an axiom, isn’t the solution in any training set ? The order and combination is what makes it special. Is current human information access methods wrong, or do we just synthesize data in a way that is inefficient for this sort of problem solving ?
- themafia 5mo ago> since everything resolves to an axiom This isn't true. There are solutions that are beyond apparent reason and logic. This is what a "breakthrough" is. > The order and combination is what makes it special. Given an infinite amount of time a team of monkeys will produce Shakespeare. Is that "special?" Perhaps we should leave some room for _how_ those combinations happen and how efficient they are. > Is current human information access methods wrong They are wrong. The largest search company is also the largest advertiser. I'm surprised that anyone either fails to apprehend this or pretends not to.