# ProofCouncil solves nine of 10 problems in First Proof mathematics evaluation

_Published Saturday, October 17, 2026 at 11:18 AM EDT · AI, Science · Latest · Tier 2 — Notable_

![Stacked wooden blocks with stars on top against a blackboard, signifying achievement. — Primary](https://static.scientificamerican.com/dam/asset/9c82c6bb-90f8-4271-bab3-c6532285ce45/shutterstock_1214460805.jpg?m=1791996025.981&w=1200)

ProofCouncil, a system combining a GPT 6 Astra agent with other agents that check its work, solved nine of 10 research mathematics problems in First Proof's third evaluation, Scientific American reported. Judges deemed the answers acceptable for journal publication with minor revisions. The best open-weight entrant, Kimi K3, solved zero problems.

First Proof selected problems submitted by specialists across mathematical subdisciplines. Models received the problems without further human input, and three graders evaluated each problem's answers.

The result improves on the six or seven problems solved by the winner in June. Participation was limited to publicly available systems, excluding OpenAI's inaccessible internal model; Google and other major model producers did not participate.

## Sources

- [Scientific American](https://www.scientificamerican.com/article/new-first-proof-exam-reveals-how-ai-powered-math-is-a-pay-for-play-sport/)

---
Canonical: https://techandbusiness.org/newswire/70sZBadX1nO11QZnOrKRDP
Published: 2026-10-17T15:18:45.851Z
Story chronology: 2026-10-14T19:00:00.000Z
Retrieved: 2026-10-17T19:28:21.074Z
Publisher: Tech & Business (techandbusiness.org)