By Matthias BastianSource:
The Decoder 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 destroy fertile ground rather than bring new ideas to life.
The article OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up appeared first on The Decoder.
Get AI news in your inbox
Daily digest of what matters in AI.
source & further reading
machinebrief.com — original article
COSMIC shuts the door on AI code as GNOME debates letting bug reports in
Source-Learned Reliance for Selective Test-Time Adaptation of Multimodal Time Series
Stepped MoE: Segment-Level Routing with Configurable Inference Complexity