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 Says Its Model Disproved a Landmark Conjecture, Anthropic Files for an IPO, and GPT-6.1 Terra Ships

OpenAI says its model disproved the Exponential Time Hypothesis, Anthropic files a $1.5T-plus IPO, and GPT-6.1 Terra cuts agent costs ninefold. OpenAI published three claimed research breakthroughs on October 26, including a disproof of the Exponential Time Hypothesis. Anthropic filed its S-1 the same day, and GPT-6.1 Terra arrived at…

1,711 words5 outlets
More in AI Proves Theorems

10 unsolved problems in computer science, explained

These 10 unsolved problems in computer science, from P versus NP to quantum advantage, bear on cryptography, algorithm design and computing's limits — here is what each asks That distinction sounds abstract, but it decides what is feasible. A problem solvable in polynomial time can usually be handled at scale.…

1,720 words
More in Famous Problems & Conjectures

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
More in Math Test Scores