Ekscytujące! Narzędzie dla zespołu składającego się z człowieka i AI do wspólnego pisania dowodów matematycznych.
guille
guille30 sie 2025
dzisiaj mamy post o wysiłku na temat AI i automatycznego dowodzenia twierdzeń (i kilku fajnych projektach!)
3,05K