AI Squawk the real-time terminal for AI news

↗

RESEARCH Sharing AI progress in mathematics

38d ago · OpenAI Blog →

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and…

Why is this ranked here?

Source tier 1: +40
Category RESEARCH: +10
Other adjustment (same-source burst decay, or scored under an earlier weighting): −10
Base score: 40
Velocity (0 corroborating sources, 1286 HN points): +20
Age decay (38d since published): −60
Effective score right now: 0