HNHacker News
TopNewBestAskShowJobs

LightMachine

2,083 karma · joined September 27, 2015

submissionscomments
LightMachine··on LLMs can't simulate a Turing machine reliably
Oh my point was NOT that LLMs can't simulate a Turing machine reliably. I was just replying to the tweet above. The main point of this (speculative) text is that GPTs can "evolve a general learner" inside them, but are unable to give enough computing power to it, since it will dispute dispute compute and space with billions of task-specific circuits. Also, even if it could, the "computer" on which learned procedures run (inside transformers) is too limited in many senses, but not being Turing complete isn't the main issue, just one of them.

Basically I'm saying that (on my view) GPTs is kinda growing an AGI procedure inside it, but that AGI is restricted by rigid computational constraints imposed by the GPT architecture. I think something slightly more flexible might be capable of filtering out the noise more efficiently and replicate what GPTs do with an absurdly small fraction of the cost.

So, to be very clear, the point has nothing to do with Turing completeness and more to do with the ultra-limited computation and expressivity granted to internally learned functions. It is a small distinction, but a non-Turing complete model can still be extremely expressive.

LightMachine··on Our next-generation model: Gemini 1.5
As a Brazilian, I approve that choice. Vambora amigos!
LightMachine··on OpenAI compatibility
Gemini Ultra release day, and a minor post on ollama OpenAI compatibility gets more points lol
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
I would love to, if YCombinator allowed me. The "edit" button is missing. I've edited on Reddit and other places where I posted this test.
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
Don't blame Google. Blame "Play Store". Probably the company behind it doesn't want Gemini to succeed.
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
> How hard can it be to just scan some documentation and code every few weeks?

oh dear...

LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
Oh fuck. Well, in my defense, nobody is claiming I'll design fusion reactors and cure cancer by 2027
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
ERRATA: I just noticed GPT-4 mixed up `h` and `f`, so it also got it wrong. This is a draw. Both AIs (and, apparently, myself) are terrible at reasoning. Guess we're not curing cancer with computers anytime soon :')
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
Oh, lol, you're right. Seems like I'm dumber than both AIs. GPT-4 mixed up `h` and `f`, so it also got it wrong, so this is a draw and both AIs (and, apparently, myself) are terrible at reasoning. Guess we're not curing cancer with computers anytime soon :')
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
AGI implies there are no cognitive tasks that some humans can perform, yet that this AI can not perform. Otherwise, what is the point?
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
Anyone familiar with the syntax / jargon should be able to answer this specific problem in ~5 seconds of thinking, though. And I mean it, even a 10yo kid should...
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
That's fair enough
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
No, it is `n * 3`. The challenge is simple: starting from "1", we must reach "17" by combining the operations `x * 3`, `x * 2` and `x + 5`. What is embarrassing is that Gemini manages to read the formal jargon and understand the challenge just fine. Yet it fails to combine these operations to get from "1" to "17", which is something most 10 yo kids would be able to do.
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
You're completely wrong. Gemini can perfectly understand what is being asked, so this isn't a syntax issue. Notice that, on the answer, it even states the solution: "starting from 1, and combining `* 2`, `* 3` and `+ 5`, we must reach 17`". So it does fine with reading the formal syntax, yet it fails to combine these operations to get from "1" to "17", which is something most 10 yo kids would have no trouble doing. And that's after millions spent in training. Now tell me again this is the architecture that will figure out the cure of cancer?
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
Being able to answer these questions is a pre-requisite for AGI. After all, there ARE humans capable of doing that, so, if the AI can't do it no matter how hard it tries, then that means there ARE human capabilities that the AI can't replicate (thus, it isn't an AGI). And it seems like no LLM is making any progress at all in that kind of prompt, which is why I use it as a core benchmark on my "AGI-meter".
LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
Because once an AI becomes proficient at formalized logic, it:

1. Completely stops hallucinating, since we can demand it to internally prove its claims before showing the answer;

2. Stops outputting incorrect code (for the same reason);

3. Starts being capable of outputting complete projects (since it will now be able to compose pieces into a larger code);

4. This is also what is needed for an AI to start self-improving (as it will now be able to construct better architectures, in a loop).

That's why I argue getting the AI competent in logical reasoning is the most important priority, and we'll have no AGI until it does. After all, humans are perfectly capable of learning how to use a proof assistant.

Moreover, if an AI can't learn it no matter how hard it tries, you can argue that there is at least one human capability that the AI can't replicate, thus it isn't an AGI.

LightMachine··on Bard is now Gemini, and we’re rolling out a mobile app and Gemini Advanced
If we want to test these beasts in logic, we should probably start using actual formalized logic, rather than English. In just one test, Gemini flopped hard, while GPT-4-Turbo nailed it. Here is my prompt:

    Below is a well-typed CoC function:

    foo
    : ∀(P: Nat -> *)
      ∀(s: ∀{n} -> ∀(x: (P n)) -> (P (n + 1)))
      ∀(z: (P 0))
      (P 3)
    = λP λs λz
      (s (s (s z)))

    Below is an incomplete CoC function:

    foo
    : ∀(P: Nat -> *)
      ∀(f: ∀{n} -> ∀(x: (P n)) -> (P (n * 3)))
      ∀(g: ∀{n} -> ∀(x: (P n)) -> (P (n * 2)))
      ∀(h: ∀{n} -> ∀(x: (P n)) -> (P (n + 5)))
      ∀(z: (P 1))
      (P 17)
    = λP λf λg λh λz
      {{FILL_HERE}}

    Complete it with the correct replacement for {{FILL_HERE}}.
    Your answer must contain only the correct answer, and nothing else.
- *GPT-4-Turbo answer:* `(f (g (h (g z))))` (correct)

- *Gemini Advanced answer:* `h (h (g (f z)))` (wrong)

Also, Gemini couldn't follow the "answer only with the solution" instruction and provided a bunch of hallucinated justifications. I think we have a winner... (screenshots: https://imgur.com/a/GotG0yF)

LightMachine··on MonadGPT – What would have happened if ChatGPT was invented in the 17th century?
Why don't you restrict the training just to old text? That would be awesome
LightMachine··on Pierre de Fermat's Link to a High School Student's Prime Math Proof
Why they write these articles like that? 10 pages long article about a proof... doesn't even mention what the proof is! Come on?
LightMachine··on OpenAI researchers warned board of AI breakthrough ahead of CEO ouster
No, they are completely awful at math. The way you can see that is that, whenever you ask it about known concepts, even hard ones, it will answer, making it look intelligent. But then if you create a small new theory or logical problem that is completely not in the internet, and ask SIMPLE questions about it - i.e., questions a 10 years old would be able to answer given the context - it will fail disgracefully.
LightMachine··on OpenAI board in discussions with Sam Altman to return as CEO
Based on reports of Microsoft's CEO being "furious", and the size of its legal team, I'd bet the people's reaction wasn't exactly the most relevant factor there...
LightMachine··on OpenAI board in discussions with Sam Altman to return as CEO
Sorry how could MSFT hold the money hostage exactly? Isn't that kind of investment a big cash transfer directly to OAI's bank account? Genuinely curious
LightMachine··on Pig brain function under extracorporeal pulsatile circulatory control
Exactly. That kind of anti-scientific propaganda is dangerous. OP shouldn't have so many upvotes.
LightMachine··on Details emerge of surprise board coup that ousted CEO Sam Altman at OpenAI
I was underwhelmed, but I got -20 upvotes on Reddit for pointing it out. Yes products are cool, but I'm not following OpenAI for another App Store, I'm following it for AGI. They should be directing all resources to that. As Sam said himself: once it is there, it will pay for itself. Settling to products around GPT-4 just passes the message that the curve has stagnated and we aren't getting more impressive capabilities. Which is saddening.
LightMachine··on Why OpenAI Fired Sam Altman – and What Happens Next in the AI World
Sorry I'm not sure I understand what Microsoft could possibly do if the board just stays firm on their decision. The non-profit owns the majority of the for profit, and the board has full control over the non-profit. Right? So at best Microsoft could invest in whatever Sam does next, but their $10b is now under OpenAI's control and there is nothing they can do about it, no?
LightMachine··on Three senior researchers have resigned from OpenAI
Completely different situation. Jobs couldn't just fundraise for his new Oranges company, lure all the talent out of Apple and outcompete it at that point. Sam can do that to OpenAI in a blink if that's his plans.
LightMachine··on Three senior researchers have resigned from OpenAI
Even if they could, why would Sam accept it? The smartest move for Sam is to just start his own for-profit company, easily raise a fuckton of money, hire all the talents from OpenAI and carry on with whatever he was doing. I think this is OpenAI's loss more than anything else. Now if the reason is truly a push against Sam's for-profit direction, I wonder if OpenAI will back it up by releasing their models to the public again. That would be world-changing, specially if the successor to GPT-4 is already trained.
LightMachine··on Three senior researchers have resigned from OpenAI
You completely miss OP's point. He is basically saying that the market value of Sam is appreciated regardless of his equity. And one example on how that is true is that whatever company Sam starts next will have an insanely high valuation from the go.
LightMachine··on Can the language of proof assistants be used for general purpose programming?
We have built an entire real time game in Kind lang...
LightMachine··on HVM updates: simplifications, finally runs on GPUs, 80x speedup on RTX 4090
I don't know, does Erlang elaborate to a simple core language?
← PreviousPage 4 of 9Next →