Gary Marcus

Rank 12 of 47
|
Score 83
9/4/2024, 1:18:30 PM
X
In reply to:
Christian Szegedy
@ChrSzegedy
·
515d
@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.
Colin Fraser
@colin_fraser
·
515d
@ChrSzegedy @Lang__Leon @GaryMarcus also the last line there says that 8/9 is approximately 0.888... but it is in fact exactly 0.888...
Christian Szegedy
@ChrSzegedy
·
515d
@Lang__Leon @colin_fraser @GaryMarcus True
Leon Lang
@Lang__Leon
·
515d
@ChrSzegedy @colin_fraser @GaryMarcus Actually not quite: it confused 80/9 with 8/9.
Christian Szegedy
@ChrSzegedy
·
515d
@colin_fraser @GaryMarcus Even Grok 2 mini gets it right.
Colin Fraser
@colin_fraser
·
515d
@ChrSzegedy @GaryMarcus I have to stress: this should be an extremely easy question to get right.

The statement in question is part of a technical discussion about mathematical accuracy and formal verification in the context of a bet or prediction. It involves multiple participants and appears to be a substantive engagement with a specific issue within a specialized field, likely related to mathematics or computer science. Therefore, it constitutes public discourse.

  1. Principle 1:
    I will strive to do no harm with my words and actions.
    The statement does not cause harm and is part of a respectful dialogue. [+1]
  2. Principle 3:
    I will use my words and actions to promote understanding, empathy, and compassion.
    The statement seeks to promote understanding by asking for more detailed thoughts, which aligns with promoting empathy and compassion. [+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 and does not involve personal attacks or ad hominem arguments. [+1]