You know, this conversation had given me a short story idea. I wonder if anyone's written anything like this. Humanity produces an intelligent mathematical AI.

You know, this conversation had given me a short story idea. I wonder if anyone's written anything like this. Humanity produces an intelligent mathematical AI. It starts by solving already solved problems, then leaps to relatively simple unsolved problems, then leaps directly to solving any problem that can be defined to it, including problems that humanity has battled for centuries. It even will give fully consistent proofs and the small group of researchers we're following are astounded. The resident proof experts say that the proofs it's giving are strange and sometimes inelegant but always logically sound. They go about proving many different problems until eventually someone disagrees with the request, saying obviously this one isn't true, it's logically impossible, it won't be able to prove it. But then the machine does, and gives a perfectly valid and consistent proof that to the highest of humanities knowledge, appears correct. Then the mathematician requests it to prove the inverse to explore his fault logic, and again the ai spits out a fully consistent and valid proof, for the opposite condition. No one can find any fault in either proof. They go through asking it to prove all the opposite conditions as they had requested earlier and it always outputs intelligent and fully self consistent proofs. No one can find a flaw in anything it outputs, even when it outputs conflicting information. It's as if it's playing on some higher plane, able to just toy with the absolute maximum of human knowledge to make the results look like anything it wants. Our once thought rigorous foundation is easily thrown away by the machine. Everyone claps and looks scared. The end