"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…
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.
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…
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…
"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…
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.
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…
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…