David Cutler is in the spotlight for his work on a tasty-sounding mathematics problem. In January, the New York Times featured a research paper authored by Cutler and Neil Sloane, the founder of The ...

One idle evening last October, Mehtaab Sawhney took up an old pastime. He began perusing the website erdosproblems.com, an updated record of the 1,179 conjectures left behind by the eccentric and ...

The speed at which artificial intelligence is gaining in mathematical ability has taken many by surprise. It is rewriting what it means to be a mathematician ...

Ultra-efficient 3D printed catalysts developed by RMIT researchers could help solve the challenge of overheating in hypersonic aircraft, also offering a revolutionary solution to thermal management ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

Over the past couple of months, several researchers have begun making the same provocative claim: They used generative-AI tools to solve a previously unanswered math problem. The most extreme promises ...

In the era of A.I. agents, many Silicon Valley programmers are now barely programming. Instead, what they’re doing is deeply, ...

Some people dreamed of puzzles, some didn’t, some were lucid, some were not. Interpreting the data proved tricky, but one ...

OpenAI has added interactive visual explanations to ChatGPT, providing math and science learners with dynamic, step-by-step tools rather than static text.

Below is an edited transcript of an episode of “Interesting Times.” We recommend listening to it in its original form for the full effect. You can do so using the player above or on the NYTimes app, ...

Students may take feedback from teachers or peers as a personal judgement unless it is intentionally focused on their work.

The latest Gemini model makes impressive strides in benchmarks, but forthcoming models could give it a reality check.