home.social

#aiinmath — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #aiinmath, aggregated by home.social.

  1. Adolfo Neto @[email protected] ·

    I am deeply disappointed by Terence Tao's uncritical use of AI.

    #LeanLang

    #AIinMath

    youtube.com/watch?v=SuTxpKggY30

    #leanlang #aiinmath
  2. Adolfo Neto @[email protected] ·

    I am deeply disappointed by Terence Tao's uncritical use of AI.

    #LeanLang

    #AIinMath

    youtube.com/watch?v=SuTxpKggY30

    #leanlang #aiinmath
  3. Adolfo Neto @[email protected] ·

    I am deeply disappointed by Terence Tao's uncritical use of AI.

    #LeanLang

    #AIinMath

    youtube.com/watch?v=SuTxpKggY30

    #leanlang #aiinmath
  4. Adolfo Neto @[email protected] ·

    I am deeply disappointed by Terence Tao's uncritical use of AI.

    #LeanLang

    #AIinMath

    youtube.com/watch?v=SuTxpKggY30

    #aiinmath #leanlang
  5. Adolfo Neto @[email protected] ·

    I am deeply disappointed by Terence Tao's uncritical use of AI.

    #LeanLang

    #AIinMath

    youtube.com/watch?v=SuTxpKggY30

    #leanlang #aiinmath