Articles by tag: ai-math

GPT-5.4 Pro solved Erdős problem No. 1202 from Green's list

Learn how GPT-5.4 Pro with Liam Price disproved Erdős's hypothesis in additive combinatorics. Counterexample with a linear proportion of surviving numbers. Details for mathematicians and AI developers.

GPT-5.4 Pro: counterexample to GCI for non-centered measures

GPT-5.4 Pro disproved the hypothesis of the Gaussian correlation inequality for shifted Gaussian measures. Counterexample in 2D with strips, generalization to n≥2. Solution details on solveall.org. Study for AI in mathematics.

Connections of π Formulas through CMF and AI

Technion AI United 385 π Number Formulas into a Single CMF Structure: 43% from the Base. For Mathematicians and Developers — Method Details, Clusters, Prospects. Explore the Analysis.

AI in Mathematics: Terence Tao's Conclusions

Terence Tao shares experience of daily AI use: hypothesis generation is cheap, but verification is critical. Analysis of Erdős problems, trickery vs intelligence. For developers and mathematicians.