logoalt Hacker News

kaffekakatoday at 6:50 AM2 repliesview on HN

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


Replies

gps372today at 6:57 AM

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?

show 1 reply
user43928today at 7:39 AM

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.