AI model GPT-5.2 collaborates with physicists to discover a new formula in particle physics, reshaping future scientific research methods.
A marriage of formal methods and LLMs seeks to harness the strengths of both.