ERA is an AI system that uses large language models and tree search to automatically write, test, and refine scientific ...

Thanks to some surprising advances, mathematicians are starting to realize that artificial intelligence could radically alter ...