Menu

#Conjecture

10 posts

Feed·
9 of 10 posts
PSI’s AI System Produces a Lean-Checked Proof of the Aaronson-Ambainis Conjecture
🖼️
0Read More

PSI’s AI System Produces a Lean-Checked Proof of the Aaronson-Ambainis Conjecture

#webpronews#news#conjecture#proof#lean

Physical Superintelligence said a research system running a non-public Anthropic model found a Lean-accepted proof of the Aaronson-Ambainis conjecture, open since 2008.

15s
Three new discoveries in mathematics, computer science, and physics
📰
0Read More

Three new discoveries in mathematics, computer science, and physics

Adafruit Industries – Makers, hackers, artists, designers and engineers!·Anne Barela·12 days ago
#2BSn3o4v
#adafruit#conjecture#openai#result#results

OpenAI has announced three results produced by its internal models, in harmonic analysis, complexity theory, and quantum field theory. Each one is being handled differently, with outside researchers acting as shepherds to examine and explain the output.…

15s
0Read More

Proofs of the Kannan–Lovász–Simonovits conjecture

#math#redditmath#proof#conjecture#kannan

“... the KLS conjecture (named after its creators, Ravi Kannan, László Lovász and Miklós Simonovits) asks a simple question: Suppose you want to cut a convex shape — maybe an apple without dimples — into two equal-size portions, and you’re planning to put…

15s
A digestion of the proof of Sendov’s conjecture
🖼️
0Read More

A digestion of the proof of Sendov’s conjecture

Hacker News·3 months ago
#ukKuRhPN
#terrytao#conjecture#inequality#thus#unit

This post concerns the following conjecture of Sendov, as well as its strengthening by Phelps–Rodriguez: Conjecture 1 (Sendov’s conjecture) Let $latex {n \geq 2}&fg=000000$, and let…

15s