# First Proof benchmark reports nine solved research problems with multi-model system

_Published Friday, October 16, 2026 at 6:07 AM EDT · AI, Science · Latest · Tier 2 — Notable_

![First Proof Neural Network Logo — Primary](https://d.techtimes.com/en/full/476870/first-proof-neural-network-logo.png)

First Proof's October 14 benchmark results showed that ProofCouncil solved nine of ten unpublished research mathematics problems at a cost of $1,888, Tech Times reported. GPT-6 Astra alone solved seven at $36, while Humanize, a system using the open-weight Kimi K3 model, received failing grades on all ten submissions.

ProofCouncil pairs a proof-writing agent with critics that check and revise its work, and can consult other frontier models and mathematical software. Experts graded correctness, exposition and attribution. Despite its correctness results, roughly one-third of ProofCouncil's submissions received negative average exposition scores, indicating below-acceptable clarity and organization.

## Sources

- [Tech Times](https://www.techtimes.com/articles/329114/20261016/first-proof-math-benchmark-open-weight-ai-ten-months-behind-frontier-tools.htm)

---
Canonical: https://techandbusiness.org/newswire/xptKtMhN-2_BTt3_oZ7rqq
Published: 2026-10-16T10:07:42.293Z
Story chronology: 2026-10-14T00:00:00.000Z
Retrieved: 2026-10-16T13:02:54.358Z
Publisher: Tech & Business (techandbusiness.org)