1. OpenAI released today (openai.com/index/sharing-ai-pr…) 372 results in 722 manuscripts; detailed as follows: github.com/openai/math/blob/ma… 2. Matthew Schwartz recently released a harness for augmenting and automating research; detailed as follows: bootloops.ai 3. I have read, in several contexts, projections for the impact of augmented and automated AI research on the theoretical sciences. While we have seen AI's success in Natural Language Processing (NLP), Software engineering (SwE) and advanced mathematics (at the level of the Millennium problems and as described by the OpenAI release today); I am very curious about how AI research will intersect with theoretical physics.
Show more of this post
Aspects of quantum mechanics (field theories, computing, and foundations) pose challenges that appear, to me, potentially unique to the domain of theoretical physics where the successes of formalization (through chains of reasoning or Lean verification) seen in NLP, SwE and advanced mathematics may not apply as directly or as immediately. I am certain that we are about to learn what happens when LLM's collide with theoretical physics
