Tag
A new arXiv paper disproves Maxwell's 1873 conjecture by presenting a configuration of five point charges with at least 24 non-degenerate critical points, exceeding the conjectured bound. The construction was suggested by OpenAI's GPT-5.6 Sol, with the authors verifying the mathematics.
This paper presents an exploratory case study evaluating GPT-4o's ability to perform refactoring and generate gameplay features in an endless runner game, finding that refactoring tasks succeeded while feature generation tasks mostly failed.
This paper proposes MONIR, a Modalized-Output Normative Intermediate Representation that bridges LLM-assisted norm extraction and ASP-based compliance reasoning for technical standards. The framework is instantiated on Chinese ADAS regulations, combining symbolic reasoning with LLM pipelines for explainable compliance checking.