terrytao.wordpress.com

An experimental AI-math challenge: using tenth discriminant bounds to explore arguments ...

In the spirit of my recent “Math 2.0” talk on new ways to use AI assistance to enhance the human understanding of mathematics ...