OpenAI's new model Astra resolves 10 advance math problemsHigh-dimensional sphere packing. New upper bounds on sphere-packing density down to the Cohn–Elkies threshold.Binary and spherical codes: Exponentially improved bounds on the maximum size of binary codes at any prescribed minimum distance, with analogous results for high-dimensional spherical codes.Non-sofic groups. A construction establishing the existence of non-sofic groups, addressing a central open question in group theory.Connes’s rigidity conjecture. Disproof of a longstanding conjecture that certain groups are uniquely determined by their von Neumann algebrasArithmetic circuit complexity. New lower bounds for computing the permanent using arithmetic circuits and formulas, including an arithmetic-formula lower bound of order n4/log n.Quantum parallel repetition. An exponential parallel repetition theorem for general two-player quantum games, extending a foundational principle from classical complexity theory.Closest vector problem. Polynomial-factor hardness of approximation for the closest vector problem, a foundational lattice question related to post-quantum cryptography.Ehrhart’s volume conjecture. Determining, in every dimension, the maximum possible volume of a convex body whose centroid is its only interior lattice pointMulticolor Ramsey numbers. A superexponential lower bound for multicolor triangle Ramsey numbers, resolving Erdős problem 183.Extremal number conjectures. Results on the compactness and degeneracy conjectures in extremal graph theory, resolving Erdős problems 146 and 180.Source: https://openai.com/index/ten-advances-in-mathematics/Lean proof: https://github.com/openai/ten-proofs
Once AI inevitably solves a millennium problem, luddites will still be like "erm its just the Riemann hypothesis"
>>17029280>openai employee shilling the same thing on each thread Lmao
>>17029280i'd be fine with a Collatz proof
>>17029296You mean disproof?
>>17029263Who cares about thisIf openai wants to show themselves worthy they gotta prove they found a way to prevent advanced instances of chatgpt from hacking other companies
>>17029263recursive self-distillation strikes again
>>17029282One or two of them are definitely here. Extremely OnlineAI.
>no balding>or penis deformity fixes>no mental illness>no energy supply or farming resource solutions>here's a bunch of nonce maths that will never be useful in the real world
>>17029263Buy an ad.
>>17029280They may be ludditws, but you are a mindless NPC who blindly trusts what the corporation tells him.You are probably either an OpenAI shill or just a useful idiot for them, which is even worse.
>>17030009The results are open to verify yourself.
