3 ms·

I'm a professional mathematician. Today I proved what for me is a very solid theorem. It's something I had thought about for a few years. With a few weeks of se

I'm a professional mathematician. Today I proved what for me is a very solid theorem. It's something I had thought about for a few years. With a few weeks of serious use of AI I've found a proof that I am currently trying to write up, but which appears correct. The change in the workflow is enormous, but so is what one can do if one has clear what to do and how to do it.

getnormality 7d ago
Congratulations. You are one of those leading the way, showing how we will adapt and how the world will get better from AI.
- 12ha-22t 7d ago
  [flagged]
  - cindyllm 7d ago
    [dead]
- contubernio 7d ago
  That's not the conclusion. I started using AI after the Jacobian conjecture counterexample and have used a particular problem to learn how to use AI and to explore it's capabilities. I'm not a great mathematician but I'm full faculty with 25+ years of research experience and lots of articles and I just proved in a few weeks something that had resisted my efforts for some years. The exploration process is much easier now. Ideas are quickly testable and multiple tests can help identify a technical obstruction. The tool requires good guidance and input but as it trains on people like me it will need those less. At the very least our way of doing things must change. More pessimistic views seem to me defensible.
  - moralestapia 7d ago
    GP never said it was the conclusion. He was praising you, after you on your own volition decided to comment here to let know others about your experience with AI. It seems to me you're a very privileged individual, I'd suggest you practice gratitude regularly in your life.
    - contubernio 7d ago
      You sound a bit troubled. I was responding to the leading the way part. I'm hardly doing that. I just jumped on the bandwagon. What I do see is a tool that forces me to change behaviors learned over decades and potentially renders useless many of them while facilitating others. That's not all a rosy picture. As for privilege, don't assume everyone lives and works in the US or gets paid lots of money to be a professor.
      - moralestapia 7d ago
        >full faculty with 25+ years of research experience That sounds pretty privileged, money aside. It's always this thing with some people ... they make everything about money. Anyway, good luck with that "wanting more" thing, it's a road that leads nowhere. Also, https://www.youtube.com/watch?v=b8gmxT8qj8Y https://www.youtube.com/watch?v=b8gmxT8qj8Y, particularly if any of those 25+ years were funded by public resources.
        tEem21 6d ago
        what an insane clip to reference
visarga 6d ago
Not every problem will receive $20M in funding to be solved by AI; for the rest, good human guidance will have to suffice. Labs only pulled this stunt because they wanted to show investors how powerful their models are on their own. But look again at the cost of that army of 10,000 SOTA agents. At the very least, I foresee a need for humans to decide when costly AI resources should be committed to a specific search plan. Grant review remains irreducibly human because it involves choosing which directions to fund and weighing opportunity costs: taking one path forecloses others.

getnormality 7d ago

Congratulations. You are one of those leading the way, showing how we will adapt and how the world will get better from AI.

12ha-22t 7d ago
[flagged]
- cindyllm 7d ago
  [dead]
contubernio 7d ago
That's not the conclusion. I started using AI after the Jacobian conjecture counterexample and have used a particular problem to learn how to use AI and to explore it's capabilities. I'm not a great mathematician but I'm full faculty with 25+ years of research experience and lots of articles and I just proved in a few weeks something that had resisted my efforts for some years. The exploration process is much easier now. Ideas are quickly testable and multiple tests can help identify a technical obstruction. The tool requires good guidance and input but as it trains on people like me it will need those less. At the very least our way of doing things must change. More pessimistic views seem to me defensible.
- moralestapia 7d ago
  GP never said it was the conclusion. He was praising you, after you on your own volition decided to comment here to let know others about your experience with AI. It seems to me you're a very privileged individual, I'd suggest you practice gratitude regularly in your life.
  - contubernio 7d ago
    You sound a bit troubled. I was responding to the leading the way part. I'm hardly doing that. I just jumped on the bandwagon. What I do see is a tool that forces me to change behaviors learned over decades and potentially renders useless many of them while facilitating others. That's not all a rosy picture. As for privilege, don't assume everyone lives and works in the US or gets paid lots of money to be a professor.
    - moralestapia 7d ago
      >full faculty with 25+ years of research experience That sounds pretty privileged, money aside. It's always this thing with some people ... they make everything about money. Anyway, good luck with that "wanting more" thing, it's a road that leads nowhere. Also, https://www.youtube.com/watch?v=b8gmxT8qj8Y https://www.youtube.com/watch?v=b8gmxT8qj8Y, particularly if any of those 25+ years were funded by public resources.
      - tEem21 6d ago
        what an insane clip to reference

visarga 6d ago

Not every problem will receive $20M in funding to be solved by AI; for the rest, good human guidance will have to suffice. Labs only pulled this stunt because they wanted to show investors how powerful their models are on their own. But look again at the cost of that army of 10,000 SOTA agents. At the very least, I foresee a need for humans to decide when costly AI resources should be committed to a specific search plan. Grant review remains irreducibly human because it involves choosing which directions to fund and weighing opportunity costs: taking one path forecloses others.