alt Hacker NewsWorks of Shinichi Mochizuki immediately come to mind. He is not AI but provides very good examples of math that is useless because it is incomprehensible by (other) humans.
Works of Shinichi Mochizuki immediately come to mind. He is not AI but provides very good examples of math that is useless because it is incomprehensible by (other) humans.
Do AIs produce answers whose work is incomprehensible to humans? It seems like you could just have the AI elaborate multiple times until you were satisfied with the explanation and documentation of what went into figuring out the answer. It’s not like the AI is one shotting the answer in a single opaque query anyways.