What's new

Pavel Etingof, Slava Gerovitch, “Mathematics of the Future“ Timothy Gowers, “How worried should we be about extinction risk from AI?

[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence, crossposted from their site.

[This is a guest post by Abhinav Nellore, Johannes Schmitt, Soledad Villar, and Rachel Ward – T.]

The IAS has opened its application page for its membership program for the upcoming year.

[This is a guest post by Caroline Turnage-Butterbaugh.

[This is a guest post by Tristan Buckmaster.

In the spirit of my recent “Math 2.0” talk on new ways to use AI assistance to enhance the human understanding of mathematics, rather than substitute for it, I am using this post to propose an experimental challenge, inspired by the recent activity around…

For a given prime , the Legendre symbol is defined as follows: if is a quadratic residue modulo , then ; if is a quadratic non-residue modulo , then ; and if divides , then .

[This is a guest post by Lukas Liehr, João Pedro Ramos and Mitchell Taylor – T.]

[This is a guest post by Francesco Maggi.

[This is a guest post by Shaoming Guo – T.]

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

As announced a few weeks ago, the SAIR Open Math OS is now soft launched.

Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash and Adam Topaz have written a blog post over on Kevin Buzzard’s blog entitled “How to Formalize All of Mathematics”, regarding recent proposals to automatically formalize

[This is a guest post by Rikab Gambhir.

A new press release from the Simons Foundation, calling for workshops and other initiatives centered on mathematics in the era of AI.

[This is a guest post by Deanna Needell and Hayden Schaeffer – T.]

[This is a guest post by Álvaro Lozano-Robledo.

[This is a guest post by the Association for Human Mathematics, reposted from their statements page.

[This is a guest post by Raghu Meka.

[This is a guest post by Ben Antieau, cross-posted from his blog. — T.]

[This is a guest post by Thomas Bloom, crossposted from the Erdős problems forum.

[This is a guest post by Annalisa Buffa.

[This is a guest post by Jeremy Avigad.

[This is a guest post by Diego Córdoba and Luis Martínez-Zoroa.

[This is a guest post by Jennifer Taback.

[This is a guest post by Matthew Colbrook.

— 1.

In response to an exponential growth of submissions, the arXiv just announced changes to its rate limiting policy, which among other things restricts submissions to at most two a month for each submitter.

A brief post to note two reports that just came out: The Advisory Group on Mathematics and Artificial Intelligence (AGMAI) has posted its general recommendations to AI companies with regards to generation of solutions to mathematical problems.

[This is a guest post by Rachel Webb.

[This is a guest post by a coalition of Caltech mathematicians: the original organizers of Mathathon (Alvan Arulandu, Andrea Li, Avni Garg, Brian Zhao, Caiman Moreno-Earle, Sathvik Redrouthu), two coauthors of the Open Letter about the Mathathon (Dylan Ki…

[This is a guest post by Jess Werk.

[This is a guest post by Ivan Corwin.

Just a quick post to note that the International Council for Industrial and Applied Mathematics (ICIAM) has released a statement on mathematics and artificial intelligence (as well as a longer version), which makes many points echoing several already made…

[This is a guest post by Bryna Kra and Rachel Ward.

[This is a guest post by Amit Sahai.

[This is a guest post by Tapio Schneider.

[This is a guest post by Martin Hairer, cross-posted from Proofs and Prompts. — T.]

[This is a guest post by Antonio Auffinger.

[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence.

Disclaimer: due to current events, I have not been able to devote as much time to lecture notes preparation as I would have liked, so I apologize in advance for the unpolished nature of the text below, which has been largely recycled from previous lecture…

[This is a guest post by Po-Shen Loh, crossposted from his blog, where an illustrated version appears.

[This is a guest post by Grant Sanderson.

Last year I co-founded the Foundation for Science and AI Research (SAIR) with some private donors to create a non-profit organization that could support responsible uses of AI in mathematics and the other sciences, independent of the major AI companies.

[This is a guest post by Dimitris Koukoulopoulos.

[This is a guest post by Timothy Gowers, crossposted from his blog.

[This is a guest post by Talia Ringer.

We’re excited to launch Stage 1 of the Lean Kernel Challenge, a multi-stage competition to improve the performance of verified computation in the Lean 4 kernel that the whole community can benefit from.

[This is a guest post by the editors of the communal blog Proofs and Prompts.