In the spirit of my recent “Math 2.0” talk on new ways to use AI assistance to enhance the human understanding of mathematics ...

This is a guest post by Lukas Liehr, João Pedro Ramos and Mitchell Taylor – T.] We are launching the Bourgain Project, a ...

This is a guest post by Francesco Maggi. This blog post was initially written in a different file format and converted using ...

[This is a guest post by Rikab Gambhir. This blog post was initially written in a different file format and converted using AI. — T.] and it was actually really cool and they gave me free tokens and ...

T.] Several math colleagues and I are preparing to launch a new journal. As we considered which values we wanted the journal to uphold, we realized ...

As announced a few weeks ago, the SAIR Open Math OS is now soft launched. It offers services and web interfaces similar to frontier AI models, though currently we are hosting existing open math models ...

As readers of this blog have no doubt noticed, I have recently turned over the majority of content on this blog to guest posts from other authors, either within the mathematics community or adjacent ...

This isn’t to help mathematicians. It’s to pay mathematicians who are willing to use AI to bring AI to the next level so mathematics as a human effort can be destroyed. And it’s to prevent OpenAI from ...

This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. — T.] Mathematicians have been weighing in on what they value ...

This is a guest post by Kate Stange and Edmund Harriss. This blog post was initially written in a different file format and ...

Just a short note that First Proof is announcing the result of their “third batch” evaluation at a webinar at 3PM ET hosted by ICARM today. (Registration required.) ...