New ‘First Proof’ exam reveals how AI-powered math is a pay-to-play sport
The benchmark confirms that some AIs are becoming exceptional tools for research-level math. But open-source models still struggle
Żadne inne medium obserwowane przez Zonactu nie podaje jeszcze tej wiadomości.
Artificial intelligence models are getting good at math—but only the corporate AIs.
The First Proof project , which aims to objectively evaluate the mathematical reasoning of publicly available AI models, released its third batch of results today. They underline what recent headlines have shown—that some large language models (LLMs) are becoming powerful research tools. They also suggest that proprietary subscription-based models from so-called frontier labs far exceed the math skills of more transparent and accessible “open-weight” models.
