A mathematician working at Anthropic says he used the AI model Claude Fable 5 to uncover a remarkably simple counterexample ...

Alpöge’s discovery is the latest in a string of high-profile mathematical breakthroughs made by large language models. Recent examples include OpenAI’s disproof of the unit distance conjecture, and ...

Joyal’s proof was published here: André Joyal, Une théorie combinatoire des séries formelles. Advances in Mathematics 42 (1981), 1–82. (I try not to link to Elsevier, as I’m permanently furious with ...

John Baez, Joe Moeller and Todd Trimble, Schur functors and categorified plethysm. This paper has been 14 years in the making. So let me tell you a bit of its history, and then I’ll explain the paper ...

In the early 1980s, it was discovered that alternating sign matrices (ASMs), which are also commonly encountered in statistical mechanics, are counted by the same numbers as two classes of plane ...

To understand the evolution of the Universe requires a concerted effort of accurate observation of the sky and fast prediction of structures in the Universe. N-body simulation is an effective approach ...