Hacker News new | ask | show | jobs
Mathematicians put AI model AlphaProof to the test (nature.com)
3 points by mauricioc 220 days ago
1 comments

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/