Chapter 23: Tease
"I'm Max, and I've got an idea I'd like to propose..."
"Yes, I'm listening..."
"I understand the significance of enabling the computer to understand the fundamental principles of logic, especially in the context of proving mathematical theories. If we could achieve that then computers should be better than a human."
"That should be the case", The professor nodded in agreement
"I'm sure that you have already tried creating theorem-proving models using AI. However, I'm curious about the methodology for ensuring the correctness of these models?"
The professor leaned in, stressing the importance of their work. "Verification's vital. We start with manual checks to ensure our theorem-proving models are spot on."
Love for the project was visible in the Professors' expressions. His hands were jazzing around, pure joy on his face. It was like the project had him on this crazy high.
"Then, the models refine themselves, learning from past proofs. It's an ongoing process. We've cracked simpler proofs but for more complex ones it gets lost in the logic."
I took a beat, figuring out how to dress my words.
"Professor, I am the owner of a company called Dreamland Net, and I have created an efficient way to connect pre-trained AI systems with genetic AI algorithms. "
Professor Buzard kept his cool, but I could sense a spark of curiosity flickering to life.