The price wasn't that ridiculous IMO for the quality of the discovery, it generated 31M output tokens which is ~$1500 in API cost if it was on Fable. A new lowe

The price wasn't that ridiculous IMO for the quality of the discovery, it generated 31M output tokens which is ~$1500 in API cost if it was on Fable. A new lower bound on the biggest unsolved problem in mathematics for less than a couple day's pay of a prestigious mathematics professor is kind of insane. Obviously this discovery doesn't change anything as it's just moving a lower bound, but that's something many mathematicians have tried and failed to do.