2 ms·

Gosh I wish someone would pay me handsomely for coming up with such stupidly obvious "research" results as "a computer program that uses statistics to pick the

by mvdtnz 2y ago

Gosh I wish someone would pay me handsomely for coming up with such stupidly obvious "research" results as "a computer program that uses statistics to pick the next word in a sequence doesn't reason like a person".

apsec112 2y ago
AlphaProof was able to get a silver IMO medal by writing formally verified proofs of novel mathematical problems: https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://deepmind.google/discover/blog/ai-solves-imo-problems... Whether this is "like a person" or not, it seems silly to insist that this "doesn't count" as mathematical reasoning. I certainly couldn't get an IMO silver medal and I have a degree in math.
- mvdtnz 2y ago
  Hang on a second, there's a lot wrong with this. > First, the problems were manually translated into formal mathematical language for our systems to understand. Ok so the "AI" wasn't solving the same problem as every other Olympiad, it was solving a "translated" version. I wonder how much of the solving was performed in this translation. If the model is so capable of reasoning, why was this step performed by people? > In the official competition, students submit answers in two sessions of 4.5 hours each. Our systems solved one problem within minutes and took up to three days to solve the others. So no, they would not have been awarded a silver medal if they were competing in the IMO. Not to mention, AlphaProof is not an LLM and has absolutely nothing to do with what I was commenting about.
xk_id 2y ago
VCs spend obscene amounts of money trying to manufacture consumer demand for a fake product, then we are left arguing for years about it. Such a waste of time.
- apsec112 2y ago
  ChatGPT got hundreds of millions of users with no advertising, and unlike (say) Google+, OpenAI didn't have a pre-existing userbase to push new products on. So there's clearly some demand.
  - xk_id 2y ago
    No advertising? You probably mean billboards, but openAI’s advertising includes making a very big fuss about the “dangers” of a stochastic text generator. Advertising is whatever gets people to think about your product. But the demand was created on false pretences, so it also lead to a rational fight against the nonsense. It’s like we got sucked/trolled into a hype. And there are more meaningful things we could have spent our time on.
mslt 2y ago
There’s clearly enough people who need to be told this, given any thread on this topic in recent years
rowanG077 2y ago
You can do it too, just take a PhD in any field.

by mvdtnz 2y ago

apsec112 2y ago

AlphaProof was able to get a silver IMO medal by writing formally verified proofs of novel mathematical problems: https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://deepmind.google/discover/blog/ai-solves-imo-problems... Whether this is "like a person" or not, it seems silly to insist that this "doesn't count" as mathematical reasoning. I certainly couldn't get an IMO silver medal and I have a degree in math.

mvdtnz 2y ago
Hang on a second, there's a lot wrong with this. > First, the problems were manually translated into formal mathematical language for our systems to understand. Ok so the "AI" wasn't solving the same problem as every other Olympiad, it was solving a "translated" version. I wonder how much of the solving was performed in this translation. If the model is so capable of reasoning, why was this step performed by people? > In the official competition, students submit answers in two sessions of 4.5 hours each. Our systems solved one problem within minutes and took up to three days to solve the others. So no, they would not have been awarded a silver medal if they were competing in the IMO. Not to mention, AlphaProof is not an LLM and has absolutely nothing to do with what I was commenting about.

xk_id 2y ago

VCs spend obscene amounts of money trying to manufacture consumer demand for a fake product, then we are left arguing for years about it. Such a waste of time.

apsec112 2y ago
ChatGPT got hundreds of millions of users with no advertising, and unlike (say) Google+, OpenAI didn't have a pre-existing userbase to push new products on. So there's clearly some demand.
- xk_id 2y ago
  No advertising? You probably mean billboards, but openAI’s advertising includes making a very big fuss about the “dangers” of a stochastic text generator. Advertising is whatever gets people to think about your product. But the demand was created on false pretences, so it also lead to a rational fight against the nonsense. It’s like we got sucked/trolled into a hype. And there are more meaningful things we could have spent our time on.

mslt 2y ago

There’s clearly enough people who need to be told this, given any thread on this topic in recent years

rowanG077 2y ago

You can do it too, just take a PhD in any field.