Skip to content

Topic

AI and Mathematical Research

The use of machine learning and automated reasoning systems to produce, check and publish mathematical results, and the questions of attribution, priority and human understanding that follow.

Current clusters