Spännande! Ett verktyg för ett team bestående av en människa och en AI för att skriva matematiska bevis tillsammans.
guille
guille30 aug. 2025
idag har vi ett inlägg om AI och automatiserad teorembevisning (och några coola projekt!)
3,05K