From the original source:
The Decoder
Read full article at The DecoderThis material was compiled from public sources. If its publication affects your rights → Request removal
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could…
AI Summary & Key Takeaways
- OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification
- Each result consumed about three hours of ChatGPT Pro compute on average
- But 25 Fields Medal winners warn that mass-producing mathematical truths could…
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
Related stories
Sam Altman on ChatGPT Personality (clip from my interview)
Sam Altman on ChatGPT Personality (clip from my interview)
A Controlled LLM Workflow for Evidence-Grounded Diagnosis of Risk Score Differences
arXiv:2610.23962v1 Announce Type: new Abstract: We propose a controlled Large Language Model (LLM) workflow for explaining risk score differences using similar historical transactions. The workflow combines reference retrieval and contrastive SHapley Additive exPlanations (SHAP)…
Beyond Explicit Intent: Discovering and Shaping Artistic Intent through Human-AI Co-Creation
arXiv:2610.24010v1 Announce Type: new Abstract: Generative AI is becoming an important medium for artistic creation, yet existing interactions often assume that creators can specify intentions in advance and accurately communicate them through text prompts. Artistic intentions,…
GardenBench: A lightweight, daily evaluation of LLM capabilities
arXiv:2610.23866v1 Announce Type: new Abstract: We introduce GardenBench, a benchmark with 11 test suites that evaluate the capabilities of Large Language Models (LLMs) across a range of tasks. By systematically prompting LLMs with various lightweight queries, we document…