Working with academic communities to build scientific understanding

Worauf sich diese Seite beruft, wörtlich, abgerufen am 27.10.2026:

• We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.bestätigt 10.11.2026
• In our view, these manuscripts are best understood as a form of raw research data.bestätigt 10.11.2026
• For the computer science collaboration, the group has decided to make the natural language proof and Lean formalization public immediately, and we are publishing them directly to our GitHub repository.bestätigt 10.11.2026
• For the physics collaboration, the group has decided to hold off on releasing the AI-produced artifacts and instead work on writing it up themselves.bestätigt 10.11.2026
• Our models produced a proof of the local smoothing conjecture in every dimensionbestätigt 10.11.2026
• Surprisingly, our system has recently proved that the ETH is false, a result that was subsequently verified in Lean.bestätigt 10.11.2026
• a mathematically rigorous existence proof of certain interacting quantum field theories containing gauge fields and fermions in four dimensions, including Quantum Chromodynamics (QCD)bestätigt 10.11.2026
• We reached out to external experts and asked them to act as shepherds, organizing groups to understand the new results.bestätigt 10.11.2026