The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.

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

In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...

Full-process, autonomous construction and continuous evolutionary breakthrough. LoongFlow: Inspired by Wang Yangming's "Enlightenment at Longchang".LoongFlow is dedicated to breaking the barrier ...

Four days into war with Iran, at least one of the United States’ Gulf allies is already running low on crucial interceptor munitions used to defend against Iranian missile and drone attacks, two ...

Math has a unique relationship with AI. Unlike subjects where answers live in shades of gray, math problems demand precision. A solution is either correct or it isn’t. That makes accuracy the ...

The Hechinger Report covers one topic: education. Sign up for our newsletters to have stories delivered to your inbox. Consider becoming a member to support our nonprofit journalism. This story also ...

The students participating in the annual International Math Olympiad (IMO) represent some of the most talented young computational minds in the world. This year, they faced down a newly enhanced array ...

If you’ve ever tried to use ChatGPT as a calculator, you’ve almost certainly noticed its dyscalculia: The chatbot is bad at math. And it’s not unique among AI in this regard. But tokenization isn’t ...

Your grade school teacher probably didn’t show you how to add 20-digit numbers. But if you know how to add smaller numbers, all you need is paper and pencil and a bit of patience. Start with the ones ...

“Because we do so much multi-step problem solving, and we’re doing two-step word problems, if they’re spending 10-15 minutes trying to figure out what 9x7 is, they’re doing a lot of extra work, or ...