OpenAI claims its models are questioning long-standing ideas in science and mathematics
- OpenAI said its AI models produced proofs challenging major theories in maths, computing and physics.
- In computing, it said a proof refutes the Exponential Time Hypothesis, used in hundreds of papers.
- In maths it claimed a proof of the local smoothing conjecture, and in physics one for field theories.
- The computing proof was checked by the Lean system, and outside academics are now examining the work.
Source: aninews.in
Get 100 stories a day on the app
Read, watch & listen · Free on iOS & Android
