This is an incredible moment in this history of mathematics, computer science, physics & science with some of the hardest problems in human history being solved by AI over a period of weeks. Depending on your perspective, it's either a crisis, a triumph, or both. I don't think anyone knows for sure. We're all trying to make sense of it. I oscillate between fear/dread and optimism/excitement on a daily basis. The rate of progress is insane, including today's announcement from OpenAI of more problems solved.
To help make sense of all of it, here's my conversation with three mathematicians about this moment. Each of them is an expert in the field of each of the biggest problems solved: Navier-Stokes, quasi-Riemann hypothesis, the unique games conjecture and complexity theory more generally.
Ankur Moitra is a mathematician and theoretical computer scientist at MIT, visiting the Institute for Advanced Study in Princeton. Steven Brunton (@eigensteve) is a mathematician and fluid dynamics expert at UW. Alex Kontorovich (@AlexKontorovich) is a mathematician at Rutgers specializing in number theory.
Breaking: Meta plans to raise up to $95 billion in waves of stock offerings to fund its massive investments in AI infrastructure https://t.co/jBCTVajc7j
For sake of argument, let's say Anthropic seeks to raise $100 billion (even if the S-1 doesn't include a target, per the new fashion). Then add in Meta's $95 billion and SpaceX's $40 billion.
That would be 0.72% of U.S. GDP.
CONGRATS Anthropic on their S-1 filing! Unsurprising, but first observations: inflection in operating profit, strong emphasis on novel discovery/bio, mismatch b/w consumption based revenue and long term compute obligations, limited shareholder influence. a lot of case studies!
Anthropic discloses only one venture capitalist in its S-1 filing: 37-year-old Yasmin Razavi. The Spark Capital GP is also the only VC backer who holds a board director seat.
https://t.co/Q9FZzuCppx
Tango #749 | 0:41 with no hints
First 5 placements:
🟨🟨🟨🟨🟨🟨
🟨🟨5️⃣1️⃣3️⃣🟨
🟨🟨🟨🟨4️⃣🟨
🟨🟨🟨🟨🟨🟨
🟨🟨🟨2️⃣🟨🟨
🟨🟨🟨🟨🟨🟨
🏅 I achieved Champion status today!
https://t.co/rzwdumHf83.
Mini Sudoku #441 | 1:15 with no hints ✏️
🏅 I achieved Champion status today!
The classic game, made mini. Handcrafted by the originators of “Sudoku.”
https://t.co/Ag7J3PyCjM.