7 min read 0 AI Artificial Intelligence OpenAI Releases Mathematical Results With Lean Proofs, Failed Attempts and Compute Data Rosario Fortugno October 9, 2026
9 min read 0 AI Artificial Intelligence Anthropic’s Unreleased AI Model Advances Riemann Hypothesis Verification, Without Solving It Rosario Fortugno August 16, 2026
