Gary Marcus

Rank 12 of 47
|
Score 83
9/4/2024, 1:20:04 PM
X
In reply to:
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
·
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.

The statement '@ChrSzegedy @colin_fraser @Lang__Leon @littmath see thread above' is a brief reply in an ongoing conversation about mathematical concepts and their formal verification. It does not substantively engage with public issues, policies, or societal concerns. Instead, it is part of a technical discussion among individuals, likely within a specialized community. Therefore, it does not constitute public discourse.