Mathematicians Put AI Model Alphaproof to the Test

Slightly off-topic, but seeing that this one is behind a paywall, I looked at Deepmind's site and was surprised that there aren't any new entries since September [0]. I wonder if there was some intentional change in their publication strategy, or if perhaps they're keeping hush ahead of some big drop.

[0] https://deepmind.google/research/publications/