dorsal / monitorES
Back to the monitor

OpenAI says its models produced new proofs in mathematics, computer science and physics

Published on Dorsal:

Source date:

AI-generated conceptual illustration for “OpenAI says its models produced new proofs in mathematics, computer science and physics”.
AI-generated illustration

Engadget reports that OpenAI published a large set of math results and added manuscripts claiming computer‑science and physics discoveries; for the latter two areas the company convened external expert groups to vet and explain the work and released AI outputs and writeups under their oversight.

Summary

AI-assisted summary of the linked source

According to Engadget, OpenAI released over 700 pages of solutions addressing 372 major math problems and has added two new manuscripts on GitHub — one claiming a proof that falsifies the Exponential Time Hypothesis and another establishing Sogge’s local smoothing for waves — while delegating explanation and credit decisions to external expert groups that will handle the computer‑science and physics materials.

WorkTechnologyEthicsProduction

Go to source

Bones