4 ms·

Agree! 'Problems' are getting solved and this needs to be celebrated. Wondering how this will discourage mathematicians at all, since now they have another tool

by gps372 21d ago

Agree! 'Problems' are getting solved and this needs to be celebrated. Wondering how this will discourage mathematicians at all, since now they have another tool to accelerate their research. Nothing is stopping them from using 'new technologies' or sticking a gun to their head to use the 'new technologies' either.

kaffekaka 21d ago
You mean that every mathematician can assign ten thousands Astra bots and 20 million dollars in compute to their thesis problems now?
- gps372 21d ago
  If it works (something they need to be convinced about), if it accelerate mathematics and solve complex problems for humanity, then why not? Aren't they already using computers, mobiles, calculators, etc. already?
  - kaffekaka 21d ago
    Yes, but a big part of the problem right now is that two big labs have monopoly on the resources and they for sure are not working for the benefit of mankind. The Startrek future is still a long way out.
    - ButlerianJihad 21d ago
      The Star Trek future may be right on schedule. https://memory-alpha.fandom.com/wiki/World_War_III https://memory-alpha.fandom.com/wiki/World_War_III World War III was the last of Earth's three world wars, lasting from approximately 2026 to 2053. The conflict involved nuclear cataclysm as well as genocide and eco-terrorism. The post-atomic horror in the aftermath persisted as late as 2079. The war was preceded by the Eugenics Wars and the Second Civil War, all of which were sometimes regarded as parts of a single escalating conflict. It resulted in the deaths of some 30% of the Human population, at least six hundred million people, and the extinction of six hundred thousand species of animals and plants. By the end, most of the major cities had been destroyed and there were few governments left.
      - fragmede 21d ago
        > some 30% of the Human population, at least six hundred million people The math nerd in me has to point out that this means there was only 2 billion humans for 30% to be 600 million (though it does say at least). Currently we have 8 billion humans on this planet or so. There must have been a culling before WWIII in their universe that they failed to mention.
        NetMageSCW 18d ago
        >The war was preceded by the Eugenics Wars and the Second Civil War
    - Bluestein 21d ago
      Earl Grey, hot.- ⎿ You've hit your session limit · resets 2:52am (123°24′W Etc/GMT+8) /upgrade to increase your usage limit.
- user43928 21d ago
  In December 2024 o3 scored 87.5% on ARC-AGI-1 and cost $4560 per task. DeepSeek V4 Flash 0731 scores 89% and costs $0.02 per task. If we apply the same factor to the guesstimated API price of $20M for this problem, we arrive at $57. Real cost is a fraction of the API price. Although the internal model might have a higher API price than the ~$19.5M I estimated based on Astra's pricing.
lhd1 21d ago
If you consider this event in isolation it is cause for celebration. But the controversy around this isn't so much about how the proof was obtained but what this means for the practice of mathematics going forward. It seems we can probably expect more and more results of this nature being dumped into the community. It's happened before that one person, Bill Thurston, was so successful in his field, proving theorem after theorem, that he inadvertently killed his field. People hesitated to enter his field, knowing that they could be scooped at any moment. It took years before his field recovered - and I think his famous essay was written in response to this. https://arxiv.org/abs/math/9404236 https://arxiv.org/abs/math/9404236
robotpepi 20d ago
> Wondering how this will discourage mathematicians at all, since now they have another tool to accelerate their research. I'm a professional mathematician and these tools are not available for me. So not happy about that! (just to be clear, I'm not anti AI, I'm just criticising the shallowness of your comment)

by gps372 21d ago

kaffekaka 21d ago

You mean that every mathematician can assign ten thousands Astra bots and 20 million dollars in compute to their thesis problems now?

gps372 21d ago
If it works (something they need to be convinced about), if it accelerate mathematics and solve complex problems for humanity, then why not? Aren't they already using computers, mobiles, calculators, etc. already?
- kaffekaka 21d ago
  Yes, but a big part of the problem right now is that two big labs have monopoly on the resources and they for sure are not working for the benefit of mankind. The Startrek future is still a long way out.
  - ButlerianJihad 21d ago
    The Star Trek future may be right on schedule. https://memory-alpha.fandom.com/wiki/World_War_III https://memory-alpha.fandom.com/wiki/World_War_III World War III was the last of Earth's three world wars, lasting from approximately 2026 to 2053. The conflict involved nuclear cataclysm as well as genocide and eco-terrorism. The post-atomic horror in the aftermath persisted as late as 2079. The war was preceded by the Eugenics Wars and the Second Civil War, all of which were sometimes regarded as parts of a single escalating conflict. It resulted in the deaths of some 30% of the Human population, at least six hundred million people, and the extinction of six hundred thousand species of animals and plants. By the end, most of the major cities had been destroyed and there were few governments left.
    - fragmede 21d ago
      > some 30% of the Human population, at least six hundred million people The math nerd in me has to point out that this means there was only 2 billion humans for 30% to be 600 million (though it does say at least). Currently we have 8 billion humans on this planet or so. There must have been a culling before WWIII in their universe that they failed to mention.
      - NetMageSCW 18d ago
        >The war was preceded by the Eugenics Wars and the Second Civil War
  - Bluestein 21d ago
    Earl Grey, hot.- ⎿ You've hit your session limit · resets 2:52am (123°24′W Etc/GMT+8) /upgrade to increase your usage limit.
user43928 21d ago
In December 2024 o3 scored 87.5% on ARC-AGI-1 and cost $4560 per task. DeepSeek V4 Flash 0731 scores 89% and costs $0.02 per task. If we apply the same factor to the guesstimated API price of $20M for this problem, we arrive at $57. Real cost is a fraction of the API price. Although the internal model might have a higher API price than the ~$19.5M I estimated based on Astra's pricing.

lhd1 21d ago

If you consider this event in isolation it is cause for celebration. But the controversy around this isn't so much about how the proof was obtained but what this means for the practice of mathematics going forward. It seems we can probably expect more and more results of this nature being dumped into the community. It's happened before that one person, Bill Thurston, was so successful in his field, proving theorem after theorem, that he inadvertently killed his field. People hesitated to enter his field, knowing that they could be scooped at any moment. It took years before his field recovered - and I think his famous essay was written in response to this. https://arxiv.org/abs/math/9404236 https://arxiv.org/abs/math/9404236

robotpepi 20d ago

> Wondering how this will discourage mathematicians at all, since now they have another tool to accelerate their research. I'm a professional mathematician and these tools are not available for me. So not happy about that! (just to be clear, I'm not anti AI, I'm just criticising the shallowness of your comment)