Nostr

Ars Technica 2mo ago

DeepMind’s latest: An AI for handling mathematical proofs

https://arstechnica.com/ai/2025/11/deepminds-latest-an-ai-for-handling-mathematical-proofs/

Reply to this note

Please Login to reply.

Discussion

No replies yet.