5 votes

AI will become mathematicians’ ‘co-pilot’

Posted by skybrian
Tags: mathematics, proof checkers, machine assisted proofs, terry tao, interviews, artificial intelligence, author.christoph drosser, source.scientificamerican, long read, paywall
https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/

Link information

This data is scraped automatically and may be incorrect.

Authors
Christoph Drösser
Word count
3144 words

3 comments

  1. [2]
    stu2b50
    Link
    I thought it was an interesting read, and Terrance Tao is the GOAT, but that title is a crime on humanity. They spent 96% of the Q&A talking about proof engines, and there's 3 questions on AI, and...

    I thought it was an interesting read, and Terrance Tao is the GOAT, but that title is a crime on humanity.

    They spent 96% of the Q&A talking about proof engines, and there's 3 questions on AI, and in one of them Tao is like "yeah I think some kind of AI that could generate trivial proofs you can't quite remember would be useful".

    And they picked

    AI Will Become Mathematicians’ ‘Co-Pilot’

    as the title...

    25 votes
    1. Grzmot
      Link Parent
      It's a bubble right now, and anything AI gets clicks. Such is life.

      It's a bubble right now, and anything AI gets clicks. Such is life.

      6 votes