astra solves 2 more conjectures

A
Anonymous09/07/26, 14:33No.17048429Astra solves 2 more conjectures
The Erdős-Sós conjecture (1962) is solved by GPT Astra in 1 of 3 attempts, according to @EpochAIResearch Cost: $363, 20 hours. https://x.com/sioum/status/2096500754618146869 The rational Turán exponent conjecture is solved by GPT Astra in 1 of 3 attempts, according to @EpochAIResearch Cost: $617. 41 hours. https://x.com/sioum/status/2096500756325290449
op image
20

Replies

A
Anon09/07/26, 14:51No.17048448
>Cost: $363, 20 hours. And how much did it cost to train the model? Hmm.
A
Anon09/07/26, 15:04No.17048457
AI is getting stronger
A
Anon09/07/26, 16:11No.17048499
no it didn't. it copied the answer because it was in the data it was trained on. and because it can't generate its own data, because it can't do experiments, it's not "AGI"
A
Anon09/08/26, 13:42No.17048946
>useless conjectures are solved soon we'll need AI to shit out new useless conjectures
A
Anon09/08/26, 15:30No.17048989
I have no idea what those conjectures are, but that's neat.
A
Anon09/09/26, 03:45No.17049727
Be careful of trusting any Asian scientific claims