Spennende! Et verktøy for et team av et menneske og en AI for å skrive matematiske bevis sammen.
guille
guille30. aug. 2025
i dag har vi et innlegg om AI og automatisert teorembevis (og noen kule prosjekter!)
3,06K