Nikhil Srivastava

Berkeley Mathematics,
Simons Institute for the Theory of Computing

[Nikhil Srivastava @Knikct]

we've posted author solutions to this week's #1stproof community experiment problems at https://t.co/czPB4Ofvmo. the discussion is happening at https://t.co/KV2m6DoBaz, and we'll post more problems for experimentation in one week, on july 1.

[Nikhil Srivastava @Knikct]

problems are up!

[Nikhil Srivastava @Knikct]

#1stproof community experiment starts tomorrow: https://t.co/L1OLoh0gk5 two new problems will be posted at 10am PT, with solutions posted after one week.

[Nikhil Srivastava @Knikct]

@JohSch314 as noted in our report, there was an API issue with P6, and it seems plausible that your system would have solved 7/10 without that.

[Nikhil Srivastava @Knikct]

results from the second batch of #1stproof will be posted tomorrow (june 10) at https://t.co/EvOAC99wUB, and presented by the editorial board at 1pm ET here: https://t.co/OmYXPWvjTM

[Nikhil Srivastava @Knikct]

@dearlove165452 the zulip for the second batch isn't up yet, but you can see the discussion from the first round here: https://t.co/KV2m6DoBaz

[Nikhil Srivastava @Knikct]

some details about #1stproof second batch: https://t.co/qnQ8VtsDdO happy pi day!

[Nikhil Srivastava @Knikct]

@thebasepoint agreed! we are open to testing rigs on top of public models, subject to funding and logistical constraints, and as long as it is done transparently. see sec 3 of the announcement.

[Nikhil Srivastava @Knikct]

@HenokYemam @merettm please see https://t.co/KV2m6DoBaz for a community discussion of the solutions.

[Nikhil Srivastava @Knikct]

@merettm thanks for clarifying, looking forward to the next round!