mlsanityData to 7 Oct 2026

Early science acceleration experiments with GPT-5

arXiv 2511.16072 ↗First posted 20 Nov 2025cs.CL cs.AIcited by 35

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

Cited by year (2026 to 7 Oct)

Citing papers per year: 2025: 3; 2026: 32.

35 papers.

Sort:

By area:

  1. 2026The Red Queen G"odel Machine: Co-Evolving Agents and Their Evaluatorscited by 16
  2. 2026AI co-mathematician: Accelerating mathematicians with agentic AIcited by 13
  3. 2026Why LLMs Aren't Scientists Yet: Lessons from Four Autonomous Research Attemptscited by 12
  4. 2025Semantic Soft Bootstrapping: Long Context Reasoning in LLMs without Reinforcement Learningcited by 9
  5. 2026Solving an Open Problem in Theoretical Physics using AI-Assisted Discoverycited by 7
  6. 2026Agentic AI -- Physicist Collaboration in Experimental Particle Physics: A Proof-of-Concept Measurement with LEP Open Datacited by 4
  7. 2026The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learningcited by 4
  8. 2026Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal Explorationcited by 3
  9. 2026CausalEvolve: Towards Open-Ended Discovery with Causal Scratchpadcited by 3
  10. 2026The Calibration Turn in AI-Assisted Research: A Conceptual and Methodological Framework for Evidence-Licensed Claimscited by 3
  11. 2025Multimodal LLMs for Historical Dataset Construction from Archival Image Scans: German Patents (1877-1918)cited by 2
  12. 2025LLMs, Reasoning and Plagiarismcited by 2
23 more
  1. 2026Agentic Publication Protocol: An Attempt to Modernize Scientific Publicationcited by 2
  2. 2026ScenePilot-4K: A Large-Scale First-Person Dataset and Benchmark for Vision-Language Models in Autonomous Drivingcited by 1
  3. 2026MentalSeek-Dx: Towards Progressive Hypothetico-Deductive Reasoning for Real-world Psychiatric Diagnosiscited by 1
  4. 2026Improved Upper Bounds for Slicing the Hypercubecited by 1
  5. 2026Deep Research of Deep Research: From Transformer to Agent, From AI to AI for Sciencecited by 1
  6. 2026Learning to Route Languages for Multilingual Policy Optimizationcited by 1
  7. 2026A Theoretical Framework for Self-Play Theorem Proving Algorithmscited by 1
  8. 2026AI-Assisted Discovery of Convex Relaxations via Dual Agentscited by 1
  9. 2026ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent Systemcited by 1
  10. 2026Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking)cited by 0
  11. 2026k-server-bench: Automating Potential Discovery for the k-Server Conjecturecited by 0
  12. 2026Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discoverycited by 0
  13. 2026Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Gamecited by 0
  14. 2026Grokability in five inequalitiescited by 0
  15. 2026Reasoning4Sciences: Bridging Reasoning Language Models to All Scientific Branchescited by 0
  16. 2026Human agency in initial human-AI proof formalization workflowscited by 0
  17. 2026Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofscited by 0
  18. 2026The Quality-Utility Paradox: Why High-Reward Data Impairs Small Model Mathematical Reasoningcited by 0
  19. 2026Analogical Deep Research: Retrieving and Integrating Historical Analogies for Foresight Analysiscited by 0
  20. 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
  21. 2026Position: AI Agents in Scientific Teams Should Be Studied as Human-Agent Systemscited by 0
  22. 2026The Missing Primitive: Diagnosing and Repairing Mathematical Reasoning in Large Language Modelscited by 0
  23. 2026From Expert-Guided Proof Search to Automated Open-Problem Solvingcited by 0