← Back to Model Beat
Models·4d ago·all news from November 8, 2026

GPT-6 Astra proves 70% of Lean theorems but solves none of 30 open conjectures

GPT-6 Astra proves 70% of Lean theorems but solves none of 30 open conjectures Crypto Briefing

ModelsGPT-6 Astra ProGPT-6 Astra

Covered by 1 source

Related stories

ModelsOpenAI's Astra becomes the main target for Chinese AI labs after Anthropic tightens its defensesOct 29 · 25 sourcesModelsGPT-6 Astra: The next generation in intelligence for workSep 7 · 8 sourcesModelsGPT-6 Astra sees the matrix and reprograms other AI models directly through their weightsNov 2 · 6 sourcesModelsGPT-6-Astra solves 49 of 50 physics research problems at $2.40 apieceOct 15 · 2 sources