English
Related papers

Related papers: Early science acceleration experiments with GPT-5

200 papers

The increasing availability of large-scale datasets has fueled rapid progress across many scientific fields, creating unprecedented opportunities for research and discovery while posing significant analytical challenges. Recent advances in…

Artificial Intelligence · Computer Science 2025-12-01 Erzhuo Shao , Yifang Wang , Yifan Qian , Zhenyu Pan , Han Liu , Dashun Wang

During 2024 and 2025 the discussion about the theorem-proving capabilities of large language models started reporting interesting success stories, mostly to do with difficult exercises (such as problems from the International Mathematical…

Computation and Language · Computer Science 2025-11-07 Hieu Le Duc , Leo Liberti

The emergence of Artificial Intelligence (AI) Scientist represents a paradigm shift in scientific discovery, with large language models (LLMs) taking the lead as the primary executor in the entire scientific workflow from idea generation to…

Artificial Intelligence · Computer Science 2025-06-10 Minjun Zhu , Qiujie Xie , Yixuan Weng , Jian Wu , Zhen Lin , Linyi Yang , Yue Zhang

As generative AI (Gen-AI) tools become more prevalent in education, there is a growing need to understand how educators, not just students, can actively shape their design and use. This study investigates how two instructors integrated four…

Human-Computer Interaction · Computer Science 2025-07-30 Qian Huang , Thijs Willems

Artificial Intelligence (AI), with ChatGPT as a prominent example, has recently taken center stage in various domains including higher education, particularly in Computer Science and Engineering (CSE). The AI revolution brings both…

Computers and Society · Computer Science 2024-07-09 Zhangying He , Thomas Nguyen , Tahereh Miari , Mehrdad Aliasgari , Setareh Rafatirad , Hossein Sayadi

Most AI benchmarks saturate within years or even months after they are introduced, making it hard to study long-run trends in AI capabilities. To address this challenge, we build a statistical framework that stitches benchmarks together,…

Artificial Intelligence · Computer Science 2025-12-02 Anson Ho , Jean-Stanislas Denain , David Atanasov , Samuel Albanie , Rohin Shah

The Generative Pre-trained Transformer (GPT) represents a notable breakthrough in the domain of natural language processing, which is propelling us toward the development of machines that can understand and communicate using language in a…

Artificial intelligence (AI) is increasingly embedded in scientific discovery, yet whether it can anticipate scientific progress remains unclear. To study this question, we introduce a temporally grounded evaluation framework for…

Artificial Intelligence · Computer Science 2026-05-22 Sean Wu , Pan Lu , Yupeng Chen , Jonathan Bragg , Yutaro Yamada , Peter Clark , David Clifton , Philip Torr , James Zou , Junchi Yu

Generative AI (GAI) tools have seen rapid adoption in educational settings, yet their role in fostering critical thinking remains underexplored. While previous studies have examined GAI as a tutor for specific lessons or as a tool for…

Computers and Society · Computer Science 2025-09-10 W. F. Lamberti , S. R. Lawrence , D. White , S. Kim , S. Abdullah

Development in Artificial Intelligence (AI) has accelerated scientific discovery. Alongside recent AI-oriented Nobel prizes, these trends establish the role of AI tools in science. This advancement raises questions about the potential…

Computers and Society · Computer Science 2025-12-02 Qianyue Hao , Fengli Xu , Yong Li , James Evans

Recent advances in artificial intelligence (AI) and machine learning have created a general perception that AI could be used to solve complex problems, and in some situations over-hyped as a tool that can be so easily used. Unfortunately,…

Artificial Intelligence · Computer Science 2018-04-27 Jinyang Gao , Wei Wang , Meihui Zhang , Gang Chen , H. V. Jagadish , Guoliang Li , Teck Khim Ng , Beng Chin Ooi , Sheng Wang , Jingren Zhou

The increasing volume of research paper submissions poses a significant challenge to the traditional academic peer-review system, leading to an overwhelming workload for reviewers. This study explores the potential of integrating Large…

Artificial Intelligence · Computer Science 2024-12-03 Oscar Díaz , Xabier Garmendia , Juanan Pereira

With the rapid advancement of artificial intelligence (AI) in various domains, the education sector is set for transformation. The potential of AI-driven tools in enhancing the learning experience, especially in programming, is immense.…

Software Engineering · Computer Science 2024-04-08 Eduard Frankford , Clemens Sauerwein , Patrick Bassner , Stephan Krusche , Ruth Breu

In recent years, groundbreaking advancements in natural language processing have culminated in the emergence of powerful large language models (LLMs), which have showcased remarkable capabilities across a vast array of domains, including…

Computation and Language · Computer Science 2023-12-11 Microsoft Research AI4Science , Microsoft Azure Quantum

Generative artificial intelligences, particularly large language models (LLMs), play an increasingly prominent role in human decision-making contexts, necessitating transparency about their capabilities. While prior studies have shown…

Computation and Language · Computer Science 2026-01-30 Lydia Uhler , Verena Jordan , Jürgen Buder , Markus Huff , Frank Papenmeier

The disruptive technology provided by large-scale pre-trained language models (LLMs) such as ChatGPT or GPT-4 has received significant attention in several application domains, often with an emphasis on high-level opportunities and…

Human-Computer Interaction · Computer Science 2023-06-27 Philippe J. Giabbanelli

Artificial intelligence (AI) has demonstrated impressive progress in mathematical reasoning, yet its integration into the practice of mathematical research remains limited. In this study, we investigate how the AI Mathematician (AIM) system…

Artificial Intelligence · Computer Science 2025-10-31 Yuanhang Liu , Beichen Wang , Peng Li , Yang Liu

The rapid development of language-based artificial intelligence (AI) offers new possibilities for psychotherapy and assistive systems, particularly benefitting autistic individuals who often respond well to technology. Parents of autistic…

On August 20, 2025, GPT-5 was reported to have solved an open problem in convex optimization. Motivated by this episode, we conducted a controlled experiment in the Malliavin--Stein framework for central limit theorems. Our objective was to…

Probability · Mathematics 2025-09-04 Charles-Philippe Diez , Luis da Maia , Ivan Nourdin

We explore the evolving efficacy of three generative pre-trained transformer (GPT) models in generating answers for multiple-choice questions (MCQ) from introductory and intermediate Python programming courses in higher education. We focus…

Computers and Society · Computer Science 2023-11-17 Jaromir Savelka , Arav Agarwal , Christopher Bogart , Majd Sakr