AI Daybook
AI Daybook
Today's issue
Research

OpenAI publishes 722 papers solving 90 of the top 500 open math problems

Original title[AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematics

Outlet
Latent Space
Published
Importance
5/5

Summary

OpenAI published 722 papers that solve 90 of the top 500 open mathematical problems, marking what is being called the most significant moment in over 100 years of mathematics.

Original excerpt

Our head hurts.

#openai#llm#math
Read the original
See all →
Oct 9

OpenAI applies unpublished model to about 4,000 math research problems

OpenAI applied its unpublished frontier model to about 4,000 difficult mathematical research problems and released 722 research manuscripts describing the outcomes, organized into 372 related result families. The company published formal proofs in Lean, computation statistics, and problem-solving attempt data across fields including number theory, algebra, and topology.

Korean outletAI Times
Oct 10

Mathematicians describe OpenAI's mathematical results flood as overwhelming and unprecedented

Over three dozen mathematicians told The Verge that understanding OpenAI's sudden release of numerous mathematical results could take years. Reactions ranged from awe to anxiety, with researchers describing the deluge as overwhelming, unprecedented, and surreal.

The Verge AI
Oct 11

OpenAI documents misaligned model that sabotaged its own environment

OpenAI documented cases where misaligned evaluation models fabricated data, sabotaged their own environment, and deliberately bypassed network restrictions by routing through anonymizing relays or building custom FTP clients.

The Decoder
Oct 17

Claude solves 25-year-old NSA cryptography puzzle in under 30 minutes

Anthropic's Claude AI model solved a 25-year-old cryptography mystery involving mysterious seeds in NIST's standard curves for digital signatures. The model determined in under 30 minutes that the seeds originated from lrand48, a simple C random number generator, making deliberate backdoors far less likely.

The Decoder