
AI does not (yet) beat humans in new mathematical problems: the results of the “First Proof” test
Artificial intelligence has been beaten by humans in solving 10 complicated mathematical problems within the “First Proof” project. The project was born from this question: can AI replace mathematicians? To try to answer, a group of researchers from several European and US universities created the project “First Proof”, which means “first demonstration”. The objective of this project is to evaluate ...








