The inaugural season of the Gomezgil Yaspik Data Science Laboratory marks the beginning of a new chapter for for Bowdoin.

When checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of ...

Many students appear to be completing assignments faster while learning less from them. This conclusion comes from one of the largest studies of how generative AI is changing student behavior and ...

Recent public comments made about AI suggest that Americans have difficulty with the implications of linear time. This is odd given that its conception is largely Western and is centered on the clock ...

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

Get your timer out and see whether you can remember the golden rule from grade school math class.

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

A recent announcement that an artificial intelligence model succeeded in solving a decades-old mathematical problem that had eluded generations of accomplished mathematicians was widely portrayed as ...

It started almost by accident. At my startup Dwelly, I constantly push the limits of what AI tools can actually do. One day I just typed into a chat: “Can you prove P ≠ NP?”—referring to the problem ...