Released on this day in 1964, “A Hard Day’s Night” has confounded guitarists with its famous opening chord. Here’s why no one ...

How can you have a proof without proving anything? Mathematicians found a way and, in the process, came to blows over it – ...

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

Only Slate Plus members can gift Slate stories. Become a member to share 10 free articles a month. Sign up for the Slatest to get the most insightful analysis, criticism, and advice out there, ...

Whenever I get coffee with a mathematician, I always ask which of the seven Millennium Problems they think will be next to fall. These are math’s most famous open questions. Solve one, and you’ll win ...

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

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

Researchers at Google DeepMind have announced that their AI system, AlphaProof Nexus, has solved nine longstanding problems posed by Paul Erdős, including some that remained unsolved for over fifty ...

AlphaProof Nexus combines LLM-driven proof generation with machine verification to crack open math research problems that have stumped mathematicians for decades. Google Deepmind's new framework ...

Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help scientists uncover hidden causes behind observable effects. By introducing ...

Apart from math and code, AI models are now making their presence felt in the sciences as well. Anthropic has published results from BioMysteryBench, an internally developed bioinformatics benchmark ...

OpenAI’s GPT-5.4 Pro has solved an open mathematical problem that human researchers could not crack since 2019, according to independent verification by Epoch AI. Contributed by mathematicians Will ...