数学论文预印本里，悄悄混进了8篇AI作品。 更准确地说，是8篇由同一个系统生成或形式化证明的数学论文。 初创公司Axiom Math宣布，他们从2026年2月开始提交的8篇论文，到5月28日有5篇已经通过同行评审，登上学术期刊。。

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

Whether it’s automating tedious coding tasks, solving complex logic puzzles, or even weighing in on ethical dilemmas, AI tools like OpenAI’s o3-Mini promise to make our lives easier. But let’s be ...

Join our daily and weekly newsletters for the latest updates and exclusive content on industry-leading AI coverage. Learn More Microsoft has unveiled a groundbreaking artificial intelligence model, ...

OpenAI has also today released its the ChatGPT-o1-mini AI large language model, designed to be a cost-effective alternative to the o1-preview while maintaining strong performance in reasoning tasks.

A hot potato: OpenAI's latest artificial intelligence models, o3 and o4-mini, have set new benchmarks in coding, math, and multimodal reasoning. Yet, despite these advancements, the models are drawing ...

Elon Musk's answer to ChatGPT is getting an update to make it better at math, coding and more. Musk's xAI has launched Grok-1.5 to early testers with "improved capabilities and reasoning" and the ...

Google LLC has launched another, even more capable preview of its powerful Gemini 2.5 Pro model, proclaiming it to be the “most intelligent” large language model it has released so far. Today’s is the ...

OpenAI is rolling out a pair of new artificial intelligence models that mimic the process of human reasoning to field more complicated coding questions and visual tasks, the latest in a flurry of ...

A startup called Imandra Inc. says it’s taking artificial intelligence-driven code completion to the next level with the launch of an entirely new and automated reasoning system called CodeLogician.