gn_200826

One of the best signals I found for whether I will enjoy my conversation with someone is if they commit a small social faux pas

Most of mathematics is more akin to philosophy than physics or engineering. Sure, if AI can prove a result that leads to practical applications, who cares if humans can't understand it. If AI performs a series of convoluted arguments demonstrating the existence of souls (feel free to replace souls with abstract nonsense), but nobody understands why, then what's the point?