mathematics community

OpenAI is claiming to have found a way to compute Fourier transforms faster than the classical fast Fourier transform algorithm, and the claim is drawing scrutiny from the technical community. Commentators are examining the underlying mathematics to see whether the alleged speedup holds up, with debate centered on the algorithm's guarantees and practical relevance.

A new advance in mathematics achieved with AI assistance is drawing attention to a growing gap: machines can now help find correct answers, but judging which results actually matter remains a human task. Commenters in the science community are debating whether AI can evaluate the importance of proofs, or whether that judgment must stay with mathematicians.

OpenAI has published a post describing its latest progress on artificial intelligence in mathematics, outlining how its models are improving at solving advanced mathematical problems. The update has drawn significant attention among the tech community, with readers debating what the results mean for research, problem-solving, and the broader race to build more capable AI systems.

Terence Tao has published a new post on his blog explaining the Lean Theorem Prover to mathematicians, focusing on questions of reliability and the role of artificial intelligence in formal proof verification. The piece arrives as Lean gains traction in research mathematics, with growing debate over how much trust formal systems and AI-assisted proofs deserve. Readers are weighing its practical guidance for mathematicians considering formalization tools.

Computer science conferences are imposing caps on submissions, a move likely aimed at handling surging paper volumes. Meanwhile, a strike involving The Lancet is set to continue, affecting publishing operations. Commentary is also asking whether academia is entering a so-called 'mathocalypse', a moment of crisis in mathematics. The items are compiled in a weekend roundup of academic and publishing news.

The INFN PhD school in Experimental Physics is hosting a seminar titled 'Universality in Power-of-Two graphs' on 5 November 2026 at 14:30. The talk, organised within Italy's National Institute for Nuclear Physics doctoral programme, will address mathematical properties of graph structures relevant to theoretical and experimental physics research. It is aimed at PhD students and researchers in the physics community.

Mathematicians and hobbyists on Hacker News are discussing the claim that BB(10), the tenth Busy Beaver number, is larger than Graham's Number, one of the largest numbers ever used in a serious mathematical proof. A GitHub write-up laying out the reasoning behind the lower bound is circulating alongside the debate.

Writer Derek Thompson has published a new essay titled 'I Know Why the Mathematicians Weep' on his Substack, examining grief and frustration within the mathematics community. The piece is drawing attention on Hacker News, where it has reached the front page with significant engagement. Readers are discussing its arguments about the state of mathematics and those who devote their lives to it.

The Royal Society in London will hold a free one-day discussion event, Mathematics in the Age of AI, on 29 October 2026, also accessible online. The event will bring together leading mathematicians, early-career researchers and partner organisations to examine how advances in artificial intelligence are reshaping mathematical research. The mathematical community, including the European Mathematical Society, is circulating the announcement and debating AI's growing role in the discipline.

Developers behind passagemath, a project tied to the SageMath mathematics software ecosystem, have opened a pull request beginning preparations for Python 3.16, even as current releases target earlier versions of the language. The early start reflects the long lead time needed to keep large scientific Python libraries compatible with upcoming interpreter changes.