#verificaautomatica — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #verificaautomatica, 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. 🤖📐