Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?

Cet article démontre qu'un pipeline automatisé léger intégrant des modèles de langage de nouvelle génération peut résoudre et vérifier avec succès des problèmes mathématiques de niveau recherche, notamment sur des ensembles de données inédits comme l'ICCM et le "First Proof".

Lve Meng (University of Science,Technology of China, Zhongguancun Academy), Weilong Zhao (Université Paris Cité), Yanzhi Zhang (Zhongguancun Academy), Haoxiang Guan (Zhongguancun Academy), Jiyan He (Zhongguancun Academy)Tue, 10 Ma🔢 math

Modular Nahm sums for symmetrizable matrices of indices (2,,2,1)({2,\ldots, 2},1) and (1,,1,2)({1,\ldots, 1},2)

Cet article présente trois familles de sommes de Nahm modulaires pour des matrices symétrisables de rang arbitraire r2r \geq 2 avec des indices spécifiques, en généralisant des résultats antérieurs pour construire deux formes automorphes vectorielles, dont l'une est une fonction modulaire vectorielle lorsque rr est impair.

Julia Q. D. Du, Kathy Q. Ji, Erin Y. Y. Shen, Clara X. Y. XuTue, 10 Ma🔢 math

Concentration of the largest induced tree size of Gn,pG_{n,p} around the standard expectation threshold

Cet article étend les résultats de concentration de la taille du plus grand arbre induit dans le graphe aléatoire Gn,pG_{n,p} à toutes les probabilités pp telles que pn1/2ln3/2np \gg n^{-1/2} \ln^{3/2} n, tout en démontrant que pour n1pn1/2n^{-1} \ll p \ll n^{-1/2}, cette taille ne peut pas se concentrer autour du seuil d'espérance standard.

Jakob HofstadTue, 10 Ma🔢 math

Explicit Formulas and Unimodality Phenomena for General Position Polynomials

Cet article établit des formules explicites pour les polynômes de position générale de certaines classes de graphes et démontre que la log-concavité et l'unimodalité de ces polynômes sont préservées pour les graphes multipartites complets équilibrés de petite taille ainsi que pour les coronas de divers graphes naturels, tout en identifiant des contre-exemples pour des tailles plus grandes.

Bilal Ahmad RatherTue, 10 Ma🔢 math

A Class of Unrooted Phylogenetic Networks Inspired by the Properties of Rooted Tree-Child Networks

Cet article propose et étudie les réseaux phylogénétiques non enracinés qq-découpables, une nouvelle classe reconnaissable en temps polynomial et permettant de résoudre efficacement le problème de la contenance d'arbre, comblant ainsi le vide laissé par les réseaux orientables en arbre-enfant dont la reconnaissance est NP-difficile.

Leo van Iersel, Mark Jones, Simone Linz, Norbert ZehTue, 10 Ma🔢 math