2 papers
cs.AI2025
Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems
Ernest Davis, Scott Aaronson
This report describes a test of the large language model GPT-4 with the Wolfram Alpha and the Code Interpreter plug-ins on 105 original problems in science and math, at the high sc…
quant-ph2024
Computability Theory of Closed Timelike Curves
Scott Aaronson, Mohammad Bavarian, Toby Cubitt +4
We study the question of what is computable by Turing machines equipped with time travel into the past; i.e., with Deutschian closed timelike curves (CTCs) having no bound on their…