UC Berkeley math professor Nikhil Srivastava met with researchers on a mission to create a new way of assessing the mathematical capabilities of AI.
In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.
Across the country, states are passing new laws aimed at improving math teaching—mandating that schools intervene early to ...