Research
OpenAI claims AI-made proofs that refute the Exponential Time Hypothesis and settle Kakeya, and asks outside experts to check them
OpenAI says its internal models produced three major results: a refutation of the Exponential Time Hypothesis, a proof of Sogge's local smoothing conjecture in every dimension, and an existence proof for four-dimensional…