Description of subprojects and results, including major changes from the original proposal

https://www.lesswrong.com/posts/NitP3AsMeuycJQbfa/retrospective-on-mathematical-boundaries-workshop

Spending breakdown

funding for Mathematical Boundaries Workshop, spreadsheet available upon request.

used left over funds for regranting:

• Sep 9, 2024 Tushant Jha’s project that I'm not sure I can name $4.1k

• Jul 20, 2024: Funding for Manuel Baltieri to attend ILIAD, traveling from Japan. $3k.

• Jun 1, 2024: Thomas Cederborg for work on ~acausal definitions of autonomy and boundaries. $3k.
  

> Over the past ~4 months, we have been incubating an AI-for-coordination project called Chord. It currently consists of one full-time employee. Its long term aim is to build technologies that enable people to coordinate on important goals like not building AI or agreeing on acceptable and effective regulations.

I'm quite interested in this, could I know more about it or talk to who's involved?

I would also love a levels.fyi, or failing that at least an EA Forum post surveying what researcher salaries have been based on varying amounts of expertise.

wait yeah can we get someone to do that

@Austin I think you should make it more clear at the top of your first comment that you're donating from your own funds rather than, for example, from pot of Manifund funds

So much legibility in this report I love it.

I offered $500 (via manifund microregrant budget) at $10k valuation. Would be willing to do higher valuation too

@saulmunn yeah i agree. @blaineaisafetytokyo ?

me, February 6:

Question- if we don’t use the money for regranting to boundaries projects that emerge from Conceptual Boundaries Workshop, may we use it for a second boundaries workshop? Davidad wants me to run Mathematical Boundaries Workshop in two months [link to planning doc]

Scott, February 8:

Yes, this is fine.

@Austin Great!