DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

What if the next leap in AI wasn’t just about generating code but about truly understanding it? Below, Universe of AI takes you through how the leaked details of DeepSeek V4 suggest a bold ...

Artificial intelligence for formal mathematical reasoning startup Harmonic AI Inc. announced today that it has raised $120 million in new funding on a $1.45 billion valuation. The funding is intended ...

The New York State Education Department is pushing new math guidelines, including a recommendation that teachers stop giving timed quizzes — because it stresses students out. The new guidelines also ...

Hardly two days since its public release, a researcher has publicized how to jailbreak a major new artificial intelligence (AI) reasoning model called "K2 Think." K2 Think was released to the public ...

ERNIE X1.1 shows major advancements in factuality, instruction following, and agentic capabilities; it surpasses DeepSeek R1-0528 in overall performance while performing on par with top-tier models ...

As artificial intelligence got smarter, it was supposed to become too cheap to meter. It’s proving to be anything but. Developers who buy AI by the barrel, for apps that do things like make software ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...

An exclusive conversation with Mark Chen and Jakub Pachocki, OpenAI’s twin heads of research, about the path toward more capable reasoning models—and superalignment. For the past couple of years, ...