Latest News
AI and Math
Why Computers Can’t Do Mathematics Though computers do nothing but crunch numbers, they can’t do mathematics research very well yet, including proving theorems or even validating proofs of theorems. According to Professor Robert Solovay of UC Berkeley in an interview around 1991, computers had limited success in finding proofs in Sentential Calculus that were faster…
Read MoreHow To Use a Chatbot
Chatbots have been around for some time, but recently received a great deal of media attention. Most people just wonder what they are, and whether or not to use them. If you are a programmer, you may be wondering if you are soon out of work, or about to get rich. Chatbot Basics Chatbots are…
Read MoreCan Chatbots Do Math?
The kinds of math chatbots seem best at are abstract branches like set theory taught in both the mathematics and philosophy departments. Solving problems in simple concrete math like graph theory is just not part of the code, though chatGPT wasn’t too bad at verifying simple proofs. ChatGPT Explains Abstract Math, Balks at Simple…
Read MoreAbout AI-Maths
MY STORY I ‘m Steve, founder of the AI-Maths website. I’m interested in seeing the advancing field of math capabilities in AI, such as the recent plan to integrate products like Wolfram Alpha with chat bots like chat-GPT and Bard. In a chat with chat-GPT I noticed it seemed much better with very abstract topics…
Read More