The Mathematics Search Engine

Mathematics News & Resources

4Mathematics is a specialist search engine for Mathematics. Discover the latest math news and mathematical content. Part of the 4SEARCH network of topic specific search engines.

OpenAI Announces Three New Proofs in Mathematics, Computer Science, and Physics, Claiming Disproof of the Exponential Time Hypothesis. Key Verification Points to Consider Before Applying AI Achievements to Your Work

On October 26, 2026 (local time), OpenAI announced that it had obtained "major" discoveries in three fields: mathematics, computer science, and physics. The subject areas are harmonic analysis, computational complexity theory, and quantum field theory. Of particular note is the achievement in computer science. OpenAI states that it has disproven…

678 words28 outlets
More in AI Proves Theorems
More in Famous Problems & Conjectures
More in New Math Research

The Credence Good of Inference Compute

In microeconomics, a credence good is any purchase where the consumer cannot assess the marginal utility of the service even after paying for it. The classic textbook example is an automotive repair shop. If a mechanic replaces an alternator and the car starts, you know the outcome is acceptable. You…

1,588 words2 outlets
More in Proof Assistants & Formal Math