Making AI Headlines · Page 10
Mathematics Considers an Oracle That Still Owes a Proof
· New York time
Mathematician Steven Strogatz discusses AI and mathematics in connection with his book, Big Math. The question is what happens when a system can offer answers to problems that people may struggle to assess. Mathematics prizes more than a convincing conclusion: the reasoning needs to withstand scrutiny. A powerful tool could help researchers explore ideas, but an answer that cannot be checked leaves an important part of the work unfinished. The oracle may be quick; the proof still has office hours. Even a confident answer must eventually explain itself to the rest of the department.
Read this story in the full newspaper →Satire. Not factual reporting. Read the original reporting from the linked publishers.