Comment by azan_

Didn't top math researchers call AI progress absolutely real and dangerous for math? It's not just HN commenters that are impressed!