As Europe pursues AI sovereignty, the PyTorch Foundation believes the continent's greatest strength lies not just in building ...

By registering the LongCat-2.0 repository under the open-source MIT License, Meituan positions the architecture with maximum ...

Every Python developer knows some or all of these libraries, because they’re stable, reliable, and excellent at what they do.

OpenAI Group PBC today introduced GPT-5.6, a new series of large language models that it says can outperform Claude Mythos 5 ...

OpenAI introduced the GPT-5.6 family of AI models on Friday, but only limited users can access them for now thanks to the U.S. government.

The best-yet test of artificial intelligence’s mathematical mettle has released its first official round of results. The verdict is that large language models (LLMs) are emerging as useful—albeit ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians. What does that mean for their future? Credit...Illustrations by Yoshi ...

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

As rampant AI use accelerates a crisis in education, University of California professors are pleading with leadership to reinstate college-entrance exams, The Wall Street Journal reports, claiming ...

The percentage of failing grades in multiple UC Berkeley computer science classes in spring 2026 is significantly higher than past semesters and marks a departure from the department’s grading ...

Mathematicians warned against rising tech industry influence in a declaration describing the many challenges that AI poses to mathematics research. The timing of the declaration comes two weeks after ...

This article is from Proof Positive, our friendly math newsletter that's delivered to your inbox every Tuesday afternoon. Sign up today and read it first. Last week I explained how a then 25-year-old ...