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 ...

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 ...

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 ...

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 ...

The invention of ENIAC in Philadelphia sparked countless technological innovations.

OpenAI’s unreleased model solved five of 10 unpublished research-level math problems and proposed a breakthrough physics formula, signaling a new era for AI in science.

Amanda Silver is a corporate vice president at Microsoft’s CoreAI division, where she works on tools for deploying apps and ...

A marriage of formal methods and LLMs seeks to harness the strengths of both.

A mathematical trick speeds up seismic calculations for earthquake simulations and could revolutionize earthquake preparedness.