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

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

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

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.) ...

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

[Edit: Oct 16, 2026 : we are in particular interested in ways mathematicians contributed to the results in the wave of recent AI generated preprints, e.g. preliminary results, interactions with AI ...

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