News linked to both this project and an event.
According to newly disclosed information, this unreleased model (possibly GPT-6) has solved 10 long-standing unsolved problems in the fields of mathematics, quantum complexity, and theoretical computer science, including the first explicit non-sofic group and overturning the Connes rigidity conjecture, among others. The core argument was generated by Astra and formally proven in Lean, producing a 249-page manuscript and machine-verifiable certificates. The token cost for a single successful solution at the Sol API rate was only about $2,000.
据 The Information 报道，OpenAI CEO Sam Altman 本周向美国参议员展示全新 Astra AI 模型。该模型支持多个 AI 智能体协同执行复杂任务，重点提升长周期任务处理能力。