Artificial intelligence could be on the verge of solving a huge share of advanced mathematical problems, and the shift may happen much sooner than many expect. In a post on X, Zoho founder Sridhar Vembu believes AI could potentially make major breakthroughs in mathematics within months.
Vembu said people may need to accept the possibility that AI could eventually tackle almost all of mathematics, even if the idea is unsettling.
He suggested that AI could eventually produce a large portion of software code both efficiently and correctly.
Vembu also linked this development to programming. He suggested that AI could eventually produce a large portion of software code both efficiently and correctly. Advances in formal verification systems such as Lean, which are already used to check mathematical proofs, could help address concerns about whether AI-generated code is reliable. Such systems could increasingly be used to verify software written by AI. There will be humans involved in the process. All of us in software need to figure out how to stay relevant. Let me get back to work. Please wish us luck,” he concluded the tweet.
“The point is not that “AI will do it all”. The key question is “how many humans are needed?”, and the answer right now is sobering and unsettling.
