Models RSS

Research 🇫🇷

OpenAI's Astra Solves 10 Major Math Problems, But Raises Deep Concerns

OpenAI announced that an internal version of its next-generation model, Astra, has solved or decisively advanced ten open problems in mathematics and theoretical computer science, for about $2,000 per problem. While celebrated as a breakthrough, mathematicians warn that the flood of AI-generated proofs is overwhelming the field's ability to verify and understand them, risking a future where problems are 'solved' without human comprehension.

OpenAIOpenAI Google DeepMindGoogle DeepMind AnthropicAnthropic
Numerama03.08 · 15:03
Fresh news