Bit x Wisdom: post #876 — TG.ME

Mathematics in the Age of AI ~ Current AI tools, when combined with formal verification and modern collaboration platforms, are enabling new ways to do mathematics at scale, with increasingly broad collaborations between professional mathematicians, other…