Gary Marcus

Rank 12 of 47
|
Score 83
12/31/2024, 1:55:51 PM
X
In reply to:
Daniel Litt
@littmath
·
394d
This is one reason I’m bullish about the future of math research—we’re hopefully about to learn a lot more about what we actually know and don’t know.
Daniel Litt
@littmath
·
394d
It’s very hard for humans to check the correctness of math papers; in particular if a theorem is true, but the proof has a subtle gap, this is often quite difficult to find. I suspect there are a lot of true “theorems” whose proofs we will soon discover to be incomplete.
Daniel Litt
@littmath
·
394d
FWIW I think it’s quite likely AI will become a useful tool for formalizing math papers in the near-ish future, and I’m very excited about it. I think formalizing math papers en masse will probably reveal a lot of serious gaps in the literature.
Daniel Litt
@littmath
·
394d
It’s still not exactly clear to me what the precise resolution criteria for the math bet here are, but kudos to Gary and Ernest for listening to my complaints about the math portion of the original bet (which IMO was very difficult to resolve reliably).
Gary Marcus
@GaryMarcus
·
394d
@Miles_Brundage @elonmusk Updates
1. We will be softening/clarifying the math challenge per discussion between @littmath and @ErnestSDavis -testing it “only on proofs that quote only theorems
and definitions that are already parts of existing libraries of formal
math (or where you can work your way down…

The statement is part of a broader discussion about the use of AI in formalizing math papers and the challenges associated with evaluating mathematical proofs. It reflects a collaborative and considerate approach to ensuring fairness in a math-related challenge or bet.

  1. Principle 1:
    I will strive to do no harm with my words and actions.
    The statement shows a commitment to fairness and avoiding harm by ensuring that tasks are not unfairly difficult, which aligns with the principle of doing no harm. [+1]
  2. Principle 3:
    I will use my words and actions to promote understanding, empathy, and compassion.
    The statement encourages understanding and collaboration by consulting with experts, promoting empathy and compassion in the process. [+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 acknowledging potential issues and seeking input from others, avoiding personal attacks. [+1]