Gary Marcus

Rank 11 of 47
|
Score 83
9/4/2024, 2:02:32 PM
X
In reply to:
Daniel Litt
@littmath
·
514d
@GaryMarcus @ChrSzegedy @colin_fraser @Lang__Leon Ah gotcha. I’d be very impressed if this happens by 2029.
Gary Marcus
@GaryMarcus
·
514d
@littmath @ChrSzegedy @colin_fraser @Lang__Leon Here’s the bet:
Gary Marcus
@GaryMarcus
·
834d
@ChrSzegedy @MCHammer @Grady_Booch Great - theorem proving bet back on! Here are some proposed rules from @ErnestSDavis. He offers $200, which I am doubling, for a total $400 on our side, with @MCHammer and @Grady_Booch as our witnesses :)
Daniel Litt
@littmath
·
514d
@GaryMarcus @ChrSzegedy @colin_fraser @Lang__Leon I find what @ChrSzegedy is saying here reasonably plausible (though I don't know about your bet) -- LLMs alone clearly can't do math well but I think there's now some evidence that with formalization they can be valuable.
Gary Marcus
@GaryMarcus
·
514d
@ChrSzegedy @colin_fraser @Lang__Leon @littmath see thread above
Gary Marcus
@GaryMarcus
·
514d
@ChrSzegedy @colin_fraser @Lang__Leon I am less sanguine but would love to hear your thoughts in more detail if you can share. @ChrSzegedy
Christian Szegedy
@ChrSzegedy
·
514d
@colin_fraser @Lang__Leon @GaryMarcus Good point. Still I am more confident about our bet with Gary than ever.

Autoformalization and formal verification will take care of all this.

The statement 'Me too!' is a brief expression of agreement or shared sentiment in a conversation about a bet regarding AI's capabilities in theorem proving by 2029. The conversation involves multiple participants discussing the feasibility and terms of the bet, which is a substantive engagement with a public issue related to AI and its future capabilities. The tone is collegial and focused on a specific technical challenge.

  1. Principle 1:
    I will strive to do no harm with my words and actions.
    The statement does no harm and is a simple expression of agreement, aligning with the principle of striving to do no harm. [+1]
  2. Principle 3:
    I will use my words and actions to promote understanding, empathy, and compassion.
    The statement promotes understanding and empathy by showing solidarity with the sentiment expressed by others in the conversation. [+1]
  3. Principle 4:
    I will engage in constructive criticism and dialogue with those in disagreement and will not engage in personal attacks or ad hominem arguments.
    The statement engages in constructive dialogue without personal attacks, adhering to the principle of engaging in constructive criticism and dialogue. [+1]