Mmastodon TechnologyAI first seen 4 d ago, last 4 d ago, peak #10

OpenAI releases AI-generated math claims awaiting verification

Original: OpenAI released AI-generated claims in mathematics, complexity theory and quantum field theory, including a proposed ref

OpenAI has published AI-generated claims in mathematics, complexity theory and quantum field theory, including a proposed refutation of the Exponential Time Hypothesis. Some of the material comes with Lean formalizations, but external research groups are still verifying the arguments and the physics claims, and no independent confirmation has been issued so far.

Why now: The claims touch major open problems, and researchers are actively debating whether AI-generated results hold up before anyone accepts them.

OpenAIExponential Time HypothesisLean

Open on mastodon →

Rank over time, top of the chart is #1. 2 snapshots from 4 d ago to 4 d ago.

Evidence

• OpenAI released AI-generated claims in mathematics, complexity theory and quantum field theory, including a proposed refutation of the Exponential Time Hypothesis. Some materials include Lean formalizations, but external groups are still checking the arguments and the physics… · news@newtqnia.com · 1

API: https://socialmediatrends-api.osmike.com/v1/trends/3849587