Andy is right. There absolutely ARE mathematicians excited about using AI for further exploration…

Andy is right. There absolutely ARE mathematicians excited about using AI for further exploration, including the guest we talked to today. But to my mind, that's a good reason for the labs to not just use their internal models to nuke the field with proofslop. 引用 @ahall_research：Some notes on what