What’s the secret to prompting an AI to solve math problems that have left humans stumped? Tell it to believe in itself ...
In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...
Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts for 80 years. This was considered among the most important unsolved ...