Assertion: ai | /r/CapableOf | prove theorem
Facets:
Source sentences:
text: It is currently working with a variety of subfields, ranging from general to specific, such as self-driving cars, playing chess, proving theorems, playing music, Painting, etc.