Theory Beyond Theorems and Proofs: A Guest Post
Princeton's Pravesh Kothari, UCLA's Raghu Meka, and UC Berkeley's Prasad Raghavendra proposed a separate "conceptual track" for theoretical computer science conferences including STOC, FOCS, and SODA …
Princeton's Pravesh Kothari, UCLA's Raghu Meka, and UC Berkeley's Prasad Raghavendra proposed a separate "conceptual track" for theoretical computer science conferences including STOC, FOCS, and SODA …
Scott Aaronson, a computer scientist at the University of Texas at Austin, argues in a blog post that the success of large language models (LLMs) like GPT-5.6 Pro and Fable shows self-referentiality i…
Anthropic has begun watermarking outputs of its Claude AI model using a scheme based on Google's SynthID and the Gumbel Softmax method proposed by Scott Aaronson in 2022. Aaronson, who credits Anthrop…
OpenAI's internal model has solved ten open problems in mathematics and theoretical computer science, including parallel repetition for arbitrary quantum games and a lower bound on the arithmetic circ…
Scott Aaronson and his brother announced the launch of BQP Partners, a new angel-investing venture, marking Aaronson's entry into startup investing after years of focusing on academic research in quan…
More than 100 University of California faculty members signed an open letter opposing a proposed policy that would require professors to notify university police of any student who expresses suicidal …
OpenAI's GPT5.5Pro has solved Paul Erdős's Unit Distance Problem, a central open problem in discrete geometry from 1946, by constructing a set of points with more unit-distance pairs than Erdős had co…