Ethan Mollick
@emollick
All of this effort from the AI labs pouring into proofs, but there are so many other interesting problems in other fields
For example, this historian used AI to make progress on the cyphers of John Dee & the intellectual antecedents that Darwin drew from. https://resobscura.substack.com/p/ai-labs-need-to-start-funding-historical
