tjsquared

3 ms·

1. 1.▲
   by tjsquared 2mo ago

   "I am not less ambitious. But I am also ambitious about being a great dad." Or Mom. This is a powerful mindset right here. It's also hard to judge someone's ambition from the outside because there is still so much inequa
2. 2.▲
   by tjsquared 2mo ago

   It's nice to see Terry not only accepting the assistance of AI in mathematics but helping to strengthen the formalization infrastructure for the AI and Math communities.
3. 3.▲
   by tjsquared 3mo ago

   This is super nice. Seeing interactive graphics like this along with tutorial videos and the new Prism LaTeX editor from OpenAI make this an exciting time for math education. At the same time, AI advances on open problems in research and wi
4. 4.▲
   by tjsquared 5mo ago

   I've noticed the disconnect between tech moguls and enthusiasts and the rest of the media in AI coverage. AI can invoke existential dread for writers, educators, and artists just as much as for software developers and engineers, althou