Physics 2.0 [pdf] (josephtoobysmith.com)

In a groundbreaking presentation, Joseph Tooby-Smith from the University of Bath introduced "Physics 2.0," a transformative approach that redefines the intersection of AI, mathematics, and physics. He argued that traditional academic systems, often reliant on paper publications, are incompatible with the realities of AI-driven research. Tooby-Smith proposed replacing conventional academic papers with a structured, community-driven corpus of knowledge called "Physlib," which formalizes physics content using the Lean interactive theorem prover. This shift aims to overcome challenges such as the limitations of peer review and information access, promoting a more collaborative and efficient scholarly environment. The significance of this initiative lies in its potential to revolutionize how scientific knowledge is created, validated, and shared. By leveraging AI capabilities for formalization and community involvement, Physlib not only simplifies the verification process but also prevents knowledge silos and encourages real-time updates. This new model prioritizes contributions over traditional citations, aligning recognition with impactful work rather than mere publication metrics. As AI continues to reshape academia, Tooby-Smith's vision for Physics 2.0 is a call to action for scholars to adapt to and actively participate in this evolution, ensuring that the pursuit of knowledge remains relevant and accessible to all.