Using GPT Astra to improve the Anthropic 2/3rds Zeta Zeroes result
This story is from 2026-09-15. It is preserved in the archive; the latest stories are on the live feed.
I've worked with Lean previously and I thought it would be fun to see if GPT Astra Max on my 20x Codex account could improve on the Anthropic 2/3rds zeta zeroes certificate (Riemann Hypothesis related). This was a major paper last month released from Anthropic and a big deal supposedly consuming an…
Read the full story at r/OpenAI ↗
Timeline · 1 report
- 2026-09-15 20:36 · r/OpenAI
Using GPT Astra to improve the Anthropic 2/3rds Zeta Zeroes result