Early science acceleration experiments with GPT-5
Not on the map. Why?
Abstract (arXiv)
AI models like GPT-5 are an increasingly valuable tool for scientists, but many remain unaware of the capabilities of frontier AI. We present a collection of short case studies in which GPT-5 produced new, concrete steps in ongoing research across mathematics, physics, astronomy, computer science, biology, and materials science. In these examples, the authors highlight how AI accelerated their work, and where it fell short; where expert time was saved, and where human input was still key. We document the interactions of the human authors with GPT-5, as guiding examples of fruitful collaboration with AI. Of note, this paper includes four new results in mathematics (carefully verified by the human authors), underscoring how GPT-5 can help human mathematicians settle previously unsolved problems. These contributions are modest in scope but profound in implication, given the rate at which frontier AI is progressing.
Key facts. Cited by 35 papers in the map (data through 7 Oct 2026). First posted on arXiv 20 Nov 2025.
Builds on
0 of 0 references.
No references here yet.
Built on by
Citing papers per year: 2025: 3; 2026: 32.
35 papers.
Sort:
By area:
- 2026The Red Queen G"odel Machine: Co-Evolving Agents and Their Evaluatorscited by 16
- 2026AI co-mathematician: Accelerating mathematicians with agentic AIcited by 13
- 2026Why LLMs Aren't Scientists Yet: Lessons from Four Autonomous Research Attemptscited by 12
- 2025Semantic Soft Bootstrapping: Long Context Reasoning in LLMs without Reinforcement Learningcited by 9
- 2026Solving an Open Problem in Theoretical Physics using AI-Assisted Discoverycited by 7
- 2026Agentic AI -- Physicist Collaboration in Experimental Particle Physics: A Proof-of-Concept Measurement with LEP Open Datacited by 4
- 2026The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learningcited by 4
- 2026Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal Explorationcited by 3
- 2026CausalEvolve: Towards Open-Ended Discovery with Causal Scratchpadcited by 3
- 2026The Calibration Turn in AI-Assisted Research: A Conceptual and Methodological Framework for Evidence-Licensed Claimscited by 3
- 2025Multimodal LLMs for Historical Dataset Construction from Archival Image Scans: German Patents (1877-1918)cited by 2
- 2025LLMs, Reasoning and Plagiarismcited by 2
23 more
- 2026Agentic Publication Protocol: An Attempt to Modernize Scientific Publicationcited by 2
- 2026ScenePilot-4K: A Large-Scale First-Person Dataset and Benchmark for Vision-Language Models in Autonomous Drivingcited by 1
- 2026MentalSeek-Dx: Towards Progressive Hypothetico-Deductive Reasoning for Real-world Psychiatric Diagnosiscited by 1
- 2026Improved Upper Bounds for Slicing the Hypercubecited by 1
- 2026Deep Research of Deep Research: From Transformer to Agent, From AI to AI for Sciencecited by 1
- 2026Learning to Route Languages for Multilingual Policy Optimizationcited by 1
- 2026A Theoretical Framework for Self-Play Theorem Proving Algorithmscited by 1
- 2026AI-Assisted Discovery of Convex Relaxations via Dual Agentscited by 1
- 2026ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent Systemcited by 1
- 2026Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking)cited by 0
- 2026k-server-bench: Automating Potential Discovery for the k-Server Conjecturecited by 0
- 2026Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discoverycited by 0
- 2026Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Gamecited by 0
- 2026Grokability in five inequalitiescited by 0
- 2026Reasoning4Sciences: Bridging Reasoning Language Models to All Scientific Branchescited by 0
- 2026Human agency in initial human-AI proof formalization workflowscited by 0
- 2026Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofscited by 0
- 2026The Quality-Utility Paradox: Why High-Reward Data Impairs Small Model Mathematical Reasoningcited by 0
- 2026Analogical Deep Research: Retrieving and Integrating Historical Analogies for Foresight Analysiscited by 0
- 2026The Half-Lives of Generative-AI Evidence: A 40-Record Audit, a Claim-Currency Framework, and a Reflexive Case of Frontier-Model-Assisted Researchcited by 0
- 2026Position: AI Agents in Scientific Teams Should Be Studied as Human-Agent Systemscited by 0
- 2026The Missing Primitive: Diagnosing and Repairing Mathematical Reasoning in Large Language Modelscited by 0
- 2026From Expert-Guided Proof Search to Automated Open-Problem Solvingcited by 0
- 2026From Expert-Guided Proof Search to Automated Open-Problem Solving7 Oct 2026
- 2026The Missing Primitive: Diagnosing and Repairing Mathematical Reasoning in Large Language Models1 Oct 2026
- 2026Position: AI Agents in Scientific Teams Should Be Studied as Human-Agent Systems2 Aug 2026
- 2026The Half-Lives of Generative-AI Evidence: A 40-Record Audit, a Claim-Currency Framework, and a Reflexive Case of Frontier-Model-Assisted Research27 Jul 2026
- 2026ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System15 Jul 2026
- 2026Analogical Deep Research: Retrieving and Integrating Historical Analogies for Foresight Analysis15 Jul 2026
- 2026The Calibration Turn in AI-Assisted Research: A Conceptual and Methodological Framework for Evidence-Licensed Claims30 Jun 2026
- 2026AI-Assisted Discovery of Convex Relaxations via Dual Agents30 Jun 2026
- 2026The Red Queen G"odel Machine: Co-Evolving Agents and Their Evaluators24 Jun 2026
- 2026Agentic Publication Protocol: An Attempt to Modernize Scientific Publication15 Jun 2026
- 2026The Quality-Utility Paradox: Why High-Reward Data Impairs Small Model Mathematical Reasoning15 Jun 2026
- 2026Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs13 Jun 2026
23 more
- 2026Human agency in initial human-AI proof formalization workflows2 Jun 2026
- 2026A Theoretical Framework for Self-Play Theorem Proving Algorithms1 Jun 2026
- 2026Reasoning4Sciences: Bridging Reasoning Language Models to All Scientific Branches31 May 2026
- 2026Learning to Route Languages for Multilingual Policy Optimization25 May 2026
- 2026AI co-mathematician: Accelerating mathematicians with agentic AI7 May 2026
- 2026Grokability in five inequalities6 May 2026
- 2026Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game1 May 2026
- 2026Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery23 Apr 2026
- 2026k-server-bench: Automating Potential Discovery for the k-Server Conjecture8 Apr 2026
- 2026Deep Research of Deep Research: From Transformer to Agent, From AI to AI for Science30 Mar 2026
- 2026The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning16 Mar 2026
- 2026CausalEvolve: Towards Open-Ended Discovery with Causal Scratchpad15 Mar 2026
- 2026Agentic AI -- Physicist Collaboration in Experimental Particle Physics: A Proof-of-Concept Measurement with LEP Open Data5 Mar 2026
- 2026Solving an Open Problem in Theoretical Physics using AI-Assisted Discovery5 Mar 2026
- 2026Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking)21 Feb 2026
- 2026Improved Upper Bounds for Slicing the Hypercube6 Feb 2026
- 2026MentalSeek-Dx: Towards Progressive Hypothetico-Deductive Reasoning for Real-world Psychiatric Diagnosis3 Feb 2026
- 2026ScenePilot-4K: A Large-Scale First-Person Dataset and Benchmark for Vision-Language Models in Autonomous Driving27 Jan 2026
- 2026Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal Exploration6 Jan 2026
- 2026Why LLMs Aren't Scientists Yet: Lessons from Four Autonomous Research Attempts6 Jan 2026
- 2025Multimodal LLMs for Historical Dataset Construction from Archival Image Scans: German Patents (1877-1918)22 Dec 2025
- 2025LLMs, Reasoning and Plagiarism18 Dec 2025
- 2025Semantic Soft Bootstrapping: Long Context Reasoning in LLMs without Reinforcement Learning4 Dec 2025
- 2025Semantic Soft Bootstrapping: Long Context Reasoning in LLMs without Reinforcement Learningcited by 9
- 2026Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal Explorationcited by 3
- 2025LLMs, Reasoning and Plagiarismcited by 2
- 2026MentalSeek-Dx: Towards Progressive Hypothetico-Deductive Reasoning for Real-world Psychiatric Diagnosiscited by 1
- 2026Deep Research of Deep Research: From Transformer to Agent, From AI to AI for Sciencecited by 1
- 2026ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent Systemcited by 1
- 2026Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking)cited by 0
- 2026Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Gamecited by 0
- 2026Reasoning4Sciences: Bridging Reasoning Language Models to All Scientific Branchescited by 0
- 2026The Quality-Utility Paradox: Why High-Reward Data Impairs Small Model Mathematical Reasoningcited by 0
- 2026The Missing Primitive: Diagnosing and Repairing Mathematical Reasoning in Large Language Modelscited by 0
- 2026The Missing Primitive: Diagnosing and Repairing Mathematical Reasoning in Large Language Models1 Oct 2026
- 2026ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System15 Jul 2026
- 2026The Quality-Utility Paradox: Why High-Reward Data Impairs Small Model Mathematical Reasoning15 Jun 2026
- 2026Reasoning4Sciences: Bridging Reasoning Language Models to All Scientific Branches31 May 2026
- 2026Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game1 May 2026
- 2026Deep Research of Deep Research: From Transformer to Agent, From AI to AI for Science30 Mar 2026
- 2026Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking)21 Feb 2026
- 2026MentalSeek-Dx: Towards Progressive Hypothetico-Deductive Reasoning for Real-world Psychiatric Diagnosis3 Feb 2026
- 2026Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal Exploration6 Jan 2026
- 2025LLMs, Reasoning and Plagiarism18 Dec 2025
- 2025Semantic Soft Bootstrapping: Long Context Reasoning in LLMs without Reinforcement Learning4 Dec 2025
- 2026The Red Queen G"odel Machine: Co-Evolving Agents and Their Evaluatorscited by 16
- 2026AI co-mathematician: Accelerating mathematicians with agentic AIcited by 13
- 2026Why LLMs Aren't Scientists Yet: Lessons from Four Autonomous Research Attemptscited by 12
- 2026Agentic AI -- Physicist Collaboration in Experimental Particle Physics: A Proof-of-Concept Measurement with LEP Open Datacited by 4
- 2026The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learningcited by 4
- 2026Agentic Publication Protocol: An Attempt to Modernize Scientific Publicationcited by 2
- 2026AI-Assisted Discovery of Convex Relaxations via Dual Agentscited by 1
- 2026Analogical Deep Research: Retrieving and Integrating Historical Analogies for Foresight Analysiscited by 0
- 2026Position: AI Agents in Scientific Teams Should Be Studied as Human-Agent Systemscited by 0
- 2026Position: AI Agents in Scientific Teams Should Be Studied as Human-Agent Systems2 Aug 2026
- 2026Analogical Deep Research: Retrieving and Integrating Historical Analogies for Foresight Analysis15 Jul 2026
- 2026AI-Assisted Discovery of Convex Relaxations via Dual Agents30 Jun 2026
- 2026The Red Queen G"odel Machine: Co-Evolving Agents and Their Evaluators24 Jun 2026
- 2026Agentic Publication Protocol: An Attempt to Modernize Scientific Publication15 Jun 2026
- 2026AI co-mathematician: Accelerating mathematicians with agentic AI7 May 2026
- 2026The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning16 Mar 2026
- 2026Agentic AI -- Physicist Collaboration in Experimental Particle Physics: A Proof-of-Concept Measurement with LEP Open Data5 Mar 2026
- 2026Why LLMs Aren't Scientists Yet: Lessons from Four Autonomous Research Attempts6 Jan 2026
- 2026Solving an Open Problem in Theoretical Physics using AI-Assisted Discoverycited by 7
- 2026CausalEvolve: Towards Open-Ended Discovery with Causal Scratchpadcited by 3
- 2026The Calibration Turn in AI-Assisted Research: A Conceptual and Methodological Framework for Evidence-Licensed Claimscited by 3
- 2026Improved Upper Bounds for Slicing the Hypercubecited by 1
- 2026Learning to Route Languages for Multilingual Policy Optimizationcited by 1
- 2026k-server-bench: Automating Potential Discovery for the k-Server Conjecturecited by 0
- 2026Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discoverycited by 0
- 2026Grokability in five inequalitiescited by 0
- 2026Human agency in initial human-AI proof formalization workflowscited by 0
- 2026Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofscited by 0
- 2026The Half-Lives of Generative-AI Evidence: A 40-Record Audit, a Claim-Currency Framework, and a Reflexive Case of Frontier-Model-Assisted Researchcited by 0
- 2026From Expert-Guided Proof Search to Automated Open-Problem Solvingcited by 0
- 2026From Expert-Guided Proof Search to Automated Open-Problem Solving7 Oct 2026
- 2026The Half-Lives of Generative-AI Evidence: A 40-Record Audit, a Claim-Currency Framework, and a Reflexive Case of Frontier-Model-Assisted Research27 Jul 2026
- 2026The Calibration Turn in AI-Assisted Research: A Conceptual and Methodological Framework for Evidence-Licensed Claims30 Jun 2026
- 2026Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs13 Jun 2026
- 2026Human agency in initial human-AI proof formalization workflows2 Jun 2026
- 2026Learning to Route Languages for Multilingual Policy Optimization25 May 2026
- 2026Grokability in five inequalities6 May 2026
- 2026Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery23 Apr 2026
- 2026k-server-bench: Automating Potential Discovery for the k-Server Conjecture8 Apr 2026
- 2026CausalEvolve: Towards Open-Ended Discovery with Causal Scratchpad15 Mar 2026
- 2026Solving an Open Problem in Theoretical Physics using AI-Assisted Discovery5 Mar 2026
- 2026Improved Upper Bounds for Slicing the Hypercube6 Feb 2026