Prospective transfer students should realize that both Mathematics and Computer Science are fields that presuppose a number of foundation courses in mathematics, particularly single- and ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

The Saint Louis University Department of Computer Science offers computing resources and drop-in tutoring available to all students taking our introductory courses, as well as scholarships and awards ...

Although chatbots such as ChatGPT, which are powered by large language models (LLMs), have some sense of time, it is conceptualized in a completely different way. As we increasingly interact with them ...

Richard A. Scott, SCU class of 1988, received his PhD in mathematics from MIT and returned to join the faculty of Santa Clara in 1997. In 2014, Rick received a prestigious Simons Faculty Collaboration ...

The use of computational techniques and information systems has revolutionized research in the biological sciences — from the analysis of DNA sequences and the understanding of gene expression and ...

Students are losing some interest in computer science broadly but gaining interest in AI-specific majors and courses.

Neuromorphic computers modeled after the human brain can now solve the complex equations behind physics simulations — something once thought possible only with energy-hungry supercomputers. The ...

The invention of ENIAC in Philadelphia sparked countless technological innovations.

Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...

Large language models (LLMs) can suggest hypotheses, write code and draft papers, and AI agents are automating parts of the research process. Although this can accelerate science, it also makes it ...