Tag
Two research groups independently used OpenAI's GPT-5.6 Sol Ultra to help produce proofs for the same unclonable encryption problem, submitting nearly simultaneous arXiv preprints. The near collision illustrates AI's growing role in theoretical computer science and raises questions about independent discovery and credit.
Turing Award laureate Gilles Brassard visited Peking University's Center on Frontiers of Computing Studies for a lecture on Alan Turing's legacy, and was appointed as a PKU Turing Mentor.