3 ms·

> To be clear, I haven’t fully verified the proof; I worked through it with Claude Fable and it passes the sniff test, but fully digesting it will take a bit mo

> To be clear, I haven’t fully verified the proof; I worked through it with Claude Fable and it passes the sniff test, but fully digesting it will take a bit more energy than I have right now. As predicted, we no longer need mathematicians for math; the math is being both generated and read by models. We're in for some exciting times, when the pace of mathematical advance can run faster than the constraints of human brains.

sumanthvepa 1mo ago
We definitely need mathematicians to understand it and verify to us that the math is correct. And it takes a mathematician to even talk to the AI in a way that will be useful. There is no way I could personally get Claude Fable or Opean AI GPT 6 to generate a proof of Fermat's Theorem in LEAN. It actually take mathematical skills. And real depth to understand the work.
- a2ff6eeb0 1mo ago
  When Claude made progress on the Riemann conjecture, here are the kind of prompts used: > Jarred's input was mostly limited to sending Claude messages of encouragement (mostly variants of “keep going” or “believe in yourself”).2 This seems to have helped Claude overcome some initial skepticism that it could make meaningful progress. It seems like the kind of prompts a high schooler could come up with. The prompter is the creator of bun.js, a kind of janky JavaScript execution environment. Math isn't a thing people need to care about any more. AI will soon take care of it. There may be some hobbyists, but progress will not depend on them. AI will come up with new math as needed when it builds for us.
  - Xmd5a 29d ago
    He did a frog's job, not a bird's.
  - ThrowawayR2 29d ago
    You're overlooking the word "mostly" in the quote you trotted out. Ask yourself: what were the prompts that weren't encouragement and would you understand them if you looked them up?
    - a2ff6eeb0 29d ago
      Here's the transcript: https://www-cdn.anthropic.com/8a0d1add3c637b858a9a181e98c40e9548c3f44f.pdf https://www-cdn.anthropic.com/8a0d1add3c637b858a9a181e98c40e... Jarred is not a mathematician. He just heard about a problem and asked Claude to try solving it.
      - rafaelRiv 29d ago
        This is a very incomplete transcript : "The complete transcript of ONE autonomous Claude sub-agent, "E2", "

sumanthvepa 1mo ago

We definitely need mathematicians to understand it and verify to us that the math is correct. And it takes a mathematician to even talk to the AI in a way that will be useful. There is no way I could personally get Claude Fable or Opean AI GPT 6 to generate a proof of Fermat's Theorem in LEAN. It actually take mathematical skills. And real depth to understand the work.

a2ff6eeb0 1mo ago
When Claude made progress on the Riemann conjecture, here are the kind of prompts used: > Jarred's input was mostly limited to sending Claude messages of encouragement (mostly variants of “keep going” or “believe in yourself”).2 This seems to have helped Claude overcome some initial skepticism that it could make meaningful progress. It seems like the kind of prompts a high schooler could come up with. The prompter is the creator of bun.js, a kind of janky JavaScript execution environment. Math isn't a thing people need to care about any more. AI will soon take care of it. There may be some hobbyists, but progress will not depend on them. AI will come up with new math as needed when it builds for us.
- Xmd5a 29d ago
  He did a frog's job, not a bird's.
- ThrowawayR2 29d ago
  You're overlooking the word "mostly" in the quote you trotted out. Ask yourself: what were the prompts that weren't encouragement and would you understand them if you looked them up?
  - a2ff6eeb0 29d ago
    Here's the transcript: https://www-cdn.anthropic.com/8a0d1add3c637b858a9a181e98c40e9548c3f44f.pdf https://www-cdn.anthropic.com/8a0d1add3c637b858a9a181e98c40e... Jarred is not a mathematician. He just heard about a problem and asked Claude to try solving it.
    - rafaelRiv 29d ago
      This is a very incomplete transcript : "The complete transcript of ONE autonomous Claude sub-agent, "E2", "