For the community, these results signal something fundamental: Open-source models are not only "catching up" with proprietary leaders—they are beginning to surpass them in frontier reasoning tasks..

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

Recent advances in Vision Language Models (VLMs) have shown significant progress in mathematical reasoning, yet they still face a critical bottleneck with problems that require visual assistance, such ...

Abstract: With the advent of technologies and data created each day in new media, cybersecurity is the main concern for many researchers. One of the main questions is the trending data analytics on ...

[2025.09.15] We released the benchmark and evaluation code. [2025.09.08] Accepted by ISPRS JPRS. Mathematical reasoning is critical for tasks such as precise distance and area computations, trajectory ...

Singapore-based AI startup Sapient Intelligence has developed a new AI architecture that can match, and in some cases vastly outperform, large language models (LLMs) on complex reasoning tasks, all ...

Microsoft’s recent release of Phi-4-reasoning challenges a key assumption in building artificial intelligence systems capable of reasoning. Since the introduction of chain-of-thought reasoning in 2022 ...

While DeepSeek-R1 has significantly advanced AI’s capabilities in informal reasoning, formal mathematical reasoning has remained a challenging task for AI. This is primarily because producing ...