A user has leveraged GPT Astra Max to improve upon a previous result from Anthropic concerning zeta zeroes, a topic related to the Riemann Hypothesis. The Anthropic result achieved 67.25007% of simple zeta zeroes on the critical line, while the user's iteration with GPT Astra Max, after some adjustments, managed to increase this to 67.31056%. The user has provided a Lean proof and numerical certificate for this work, noting that while the improvement is small, it demonstrates the capability of the AI tool. AI
IMPACT Demonstrates AI's capability in iterative research and incremental scientific improvement.
RANK_REASON User-driven improvement on a published research result using an AI model. [lever_c_demoted from research: ic=1 ai=1.0]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →