> Astra improved a term in a bound on these gaps that had remained unchanged for more than 80 years. We’re sharing the proofs and abridged chain of thought and verification materials for both results.

Looks like they listened to Terry Tao’s request for CoT in his talk on LLM use in mathematics?