4 ms·
Mathematicians put AI model AlphaProof to the test
- falcor84 11mo agoSlightly 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/ https://deepmind.google/research/publications/