Jarred is the Bun creator who just got acquihired and converted Bun to Rust. Pretty sure his job now is to burn tokens to make news headlines. Like a developer advocate for LLM usage in general.
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.