#aiperlamatematica — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #aiperlamatematica, aggregated by home.social.
-
DeepSeekMath‑V2 è un AI che dimostra teoremi matematici passo dopo passo.
Genera prove, le verifica con un LLM dedicato e corregge gli errori per migliorarsi continuamente. 🤖📐