News Heat Trend
Project Overview
Astra is an Omnichain SLG Game where players can build and defend their cosmic homeland, strategize, expand and dominate in interstellar conquest.
Event-related news
OpenAI AI Model Achieves Mathematical Breakthrough: Releases Research Results on 10 Long-Standing Unsolved Problems in Cryptography, Quantum Computing, and More
Odaily News, OpenAI released research findings stating that its next-generation AI model, Astra, has made progress in mathematics and theoretical computer science, covering fields such as high-dimensional geometry, coding theory, group theory, quantum complexity, post-quantum cryptography, and extremal combinatorics. The 10 results published cover: the high-dimensional sphere packing problem, binary and spherical coding problems, non-sofic group problems, Connes rigidity conjecture, arithmetic circuit complexity problems, quantum parallel repetition problems, the closest vector problem, Ehrhart volume conjecture, multicolor Ramsey number problems, and extremal graph theory conjectures.According to reports, these results were derived by an internal version of the Astra model, with the computational cost of finding solutions amounting to approximately $2,000 (calculated based on Sol API pricing). Subsequently, human researchers used the same model to help compile the results into papers and generated verifiable proof certificates through the Lean formal proof system.
OpenAI's Unreleased Astra Model Solves 10 Math Problems
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：奥尔特曼展示 Astra AI 模型，主打长周期任务与多智能体协作
据 The Information 报道，OpenAI CEO Sam Altman 本周向美国参议员展示全新 Astra AI 模型。该模型支持多个 AI 智能体协同执行复杂任务，重点提升长周期任务处理能力。
Related news
OpenAI AI Model Achieves Mathematical Breakthrough: Releases Research Results on 10 Long-Standing Unsolved Problems in Cryptography, Quantum Computing, and More
Odaily News, OpenAI released research findings stating that its next-generation AI model, Astra, has made progress in mathematics and theoretical computer science, covering fields such as high-dimensional geometry, coding theory, group theory, quantum complexity, post-quantum cryptography, and extremal combinatorics. The 10 results published cover: the high-dimensional sphere packing problem, binary and spherical coding problems, non-sofic group problems, Connes rigidity conjecture, arithmetic circuit complexity problems, quantum parallel repetition problems, the closest vector problem, Ehrhart volume conjecture, multicolor Ramsey number problems, and extremal graph theory conjectures.According to reports, these results were derived by an internal version of the Astra model, with the computational cost of finding solutions amounting to approximately $2,000 (calculated based on Sol API pricing). Subsequently, human researchers used the same model to help compile the results into papers and generated verifiable proof certificates through the Lean formal proof system.
OpenAI's Unreleased Astra Model Solves 10 Math Problems
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：奥尔特曼展示 Astra AI 模型，主打长周期任务与多智能体协作
据 The Information 报道，OpenAI CEO Sam Altman 本周向美国参议员展示全新 Astra AI 模型。该模型支持多个 AI 智能体协同执行复杂任务，重点提升长周期任务处理能力。