### Recent Comments

Gil Kalai on To Cheer You Up in Difficult T… Gil Kalai on To Cheer You Up in Difficult T… Alexander Barvinok on To Cheer You Up in Difficult T… Kevin on To Cheer You Up in Difficult T… Gil Kalai on To Cheer You Up in Difficult T… Arseniy on To Cheer You Up in Difficult T… Alexander Barvinok on To Cheer You Up in Difficult T… uniform on To Cheer You Up in Difficult T… Arseniy on To Cheer You Up in Difficult T… normanstresskopf on To Cheer You Up in Difficult T… To Cheer You Up in D… on Beyond the g-conjecture… To Cheer You Up in D… on Euler’s Formula, Fibonac… -
### Recent Posts

- To Cheer You Up in Difficult Times 31: Federico Ardila’s Four Axioms for Cultivating Diversity
- Dream a Little Dream: Quantum Computer Poetry for the Skeptics (Part I, mainly 2019)
- To Cheer you up in difficult times 30: Irit Dinur, Shai Evra, Ron Livne, Alex Lubotzky, and Shahar Mozes Constructed Locally Testable Codes with Constant Rate, Distance, and Locality
- To cheer you up in difficult times 29: Free will, predictability and quantum computers
- Alef’s corner: Mathematical research
- Let me tell you about three of my recent papers
- Mathematical news to cheer you up
- To Cheer You Up in Difficult Times 28: Math On the Beach (Alef’s Corner)
- To cheer you up in difficult times 27: A major recent “Lean” proof verification

### Top Posts & Pages

- To Cheer You Up in Difficult Times 31: Federico Ardila's Four Axioms for Cultivating Diversity
- The Intermediate Value Theorem Applied to Football
- Extremal Combinatorics III: Some Basic Theorems
- Amazing: Karim Adiprasito proved the g-conjecture for spheres!
- Answer: Lord Kelvin, The Age of the Earth, and the Age of the Sun
- Updates and plans III.
- An interview with Noga Alon
- TYI 30: Expected number of Dice throws
- Joel David Hamkins' 1000th MO Answer is Coming

### RSS

# Tag Archives: Thomas Vidick

## Thomas Vidick: What it is that we do

Originally posted on MyCQstate:

This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a “proof-based” discipline such as pure mathematics or theoretical computer science. Since the former is easier…

## Amazing: Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen proved that MIP* = RE and thus disproved Connes 1976 Embedding Conjecture, and provided a negative answer to Tsirelson’s problem.

A few days ago an historic 160-page paper with a very short title MIP*=RE was uploaded to the arXive by Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen. I am thankful to Dorit Aharonov and Alon Rosen … Continue reading

Posted in Algebra, Analysis, Combinatorics, Computer Science and Optimization, Physics, Quantum
Tagged Anand Natarajan, Henry Yuen, John Wright, Thomas Vidick, Zhengfeng Ji
13 Comments