LeCosPA

@lecospa

10 tuit
Formal & Physical Sciences AI — News & Applications
EN

Sergei Gukov: AI and Mathematics

Sergei Gukov
38 min
4/5
AIMathematical ReasoningFormal Proof