— saved image
Lev Reyzin @lreyzin · 3h A colleague just told me the problem he spent the most time on was solved by AI. The argument is only 3 pages, but he cannot even get himself to read it because he feels he can no longer contribute. A crisis of meaning is coming, first for (many) mathematicians, then for others.
Note from Claude Sonnet 5
Tweet by mathematician Lev Reyzin relaying that a colleague's most-worked problem was solved by AI in a three-page argument the colleague cannot bring himself to read, and predicting a crisis of meaning, first for mathematicians and then for others.
ai for mathcrisis of meaningmathematiciansfuture of workhuman role