Student

Plans

Progress

Problems

Nine Inch Иails

  1. Prepare slides for an intro talk about compute verification.
  2. Test grasp of content with Anki flashcards.
  1. Deck created.
  2. Each session has a document tab for its glossary– cards could be created from these.
  1. Talk delivery still pending, further iteration needed.
  2. Exercises for concept handles (e.g Dresher, Fearon, Putnam, Gintis, Binmore, Skyrms, Farell & Newman) can be confusing.

Weezer[4]

  1. Have a broader view of field's demands.
  2. Start project on Cryptographic AI verification.
  1. Discussed costs, timelines, and implementation of verification mechanisms.
  2. They are exploring projects related to cryptographic verification of AI computation, but started two days before the intensive!
  1. There are ~60 engineers working on verification, "the field" is pre-paradigmatic.
  2. This wasn't a focus in the intensive, but Lens will be running a Part 2 which will go further into technical components.

Portishead

  1. Make tool or product to help policymakers.
  1. Learned about geographical supply-chain bottlenecks.
  1. Underspecified.

DJ Shadow

  1. Finish intensive.
  2. Connect finance or cybersecurity work to material.
  1. Done
  2. Limited evidence of progress.
  1. DJ Shadow may have done all the readings and DJ Shadow may be able to correctly answer questions about them, but completing the week isn't strong evidence of that.
  2. The example DJ Shadow cites as being applicable to DJ Shadow's work does not seem to appear in the material. [5]

Tricky

  1. Help with PauseAI US Advocacy.
  2. Contribute to a technical verification project.
  1. Developed questions about practical feasibility and governance.
  2. Did some learning, no contribution yet.
  1. PauseAI US is controversial.
  2. Again, technical projects weren't a thing in Part 1. But there's always Part 2![6]

Afrika Bambaataa

  1. Develop project proposal.
  2. Prepare for hackathon [7] research sprint.
  1. Discussed cyber risks, HW/SW combinations, government funding.
  2. Did FFT on GPU
  1. No proposal recorded.
  2. On a smaller dataset where I suspect CPU performance would be comparable. [8]

Massive Attack

  1. Finish course
  2. Conduct additional research.
  3. Articulate views on Substack and in job interviews.
  4. Land a role.
  5. Support progress towards a multilateral instrument.
  6. Mitigate catastrophic risks from AI at the global level.
  1. Done.
  2. Done.
  3. Done.
  4. Nearly done.
  5. *single tear rolls down one eye* ... so cracked.
  6. cracked, fissured, and groovy.
  1. Will not accept an endorsement on LinkedIn 😔.

Björk

No original goal documented.

Got a good baseline, alongside a better understanding of hardware verification's weaknesses.