Wild interaction, we live in the future
Replying to @stalkermustang
btw @AcerFur can you please suggest one of the internal teams ask Astra to find vulns/bugs in Lean's kernel? Could be a huge success story + really useful going forward
Eric
@ericmitchellai
- Several people with no technical background told me they were reviewing for NeurIPS using agents for all reviewing--stating they didn't understand what the agent did, nor the underlying paper. Asked how they could trust the agent's review, they said they assume the author wouldSeveral people with no technical background told me they submitted to NeurIPS using agents for all coding—stating they didn't understand what the agent did, nor underlying code. Asked how they could trust the code/results, they said they assume reviewers will catch any errors.
- Going exactly according to planArgentina created 0.00(xG) in the first half.
- /gooooooooooooooooooooooal
