> Recent events in the field of AI for mathematics have shown us beyond all reasonable doubt that the field is currently undergoing a rapid transformation, unlike anything that we have ever seen before. Language models are solving hard problems which humans could not, and mathematicians are reacting very differently to this news.
Software I understand but could someone please bring me up to speed what's with Mathematics that it is being disrupted too?
wg0 · · focus · HN ↗
Software I understand but could someone please bring me up to speed what's with Mathematics that it is being disrupted too?
j45 · · focus · HN ↗