Gary Marcus

Rank 11 of 47
|
Score 83
9/4/2024, 3:23:18 PM
X
In reply to:
Daniel Litt
@littmath
·
513d
@GaryMarcus @ChrSzegedy @colin_fraser @Lang__Leon Actually sorry, I am not sure I understand the bet. Is the bet that there will exist *one* paper in the Annals where an AI can do this? Or that it can do it for 95% of papers? If the latter, no way.
Daniel Litt
@littmath
·
513d
@GaryMarcus @ChrSzegedy @colin_fraser @Lang__Leon Ah gotcha. I’d be very impressed if this happens by 2029.
Gary Marcus
@GaryMarcus
·
513d
@littmath @ChrSzegedy @colin_fraser @Lang__Leon Here’s the bet:
Gary Marcus
@GaryMarcus
·
833d
@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
·
513d
@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
·
513d
@ChrSzegedy @colin_fraser @Lang__Leon @littmath see thread above
Gary Marcus
@GaryMarcus
·
513d
@ChrSzegedy @colin_fraser @Lang__Leon I am less sanguine but would love to hear your thoughts in more detail if you can share. @ChrSzegedy

The statement is part of a public discourse on the capabilities of AI in theorem proving, specifically in the context of a bet about AI's ability to validate mathematical theorems from the Annals of Mathematics. The tone is analytical and clarifies the intent behind a previous statement, emphasizing the importance of the 95% success rate criterion rather than finding a single successful instance post hoc.

  1. Principle 1:
    I will strive to do no harm with my words and actions.
    The statement strives to do no harm and is focused on clarifying a technical point rather than attacking any individual. [+1]
  2. Principle 3:
    I will use my words and actions to promote understanding, empathy, and compassion.
    The statement promotes understanding by clarifying the terms of the bet and the intent behind the 95% success rate criterion. [+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 by addressing a potential misunderstanding and providing a clear explanation without resorting to personal attacks. [+1]