AI · Studies · 2026-10-27 15:49
OpenAI announced that its internal models produced three results in mathematics, computer science, and physics, including an algorithm it claims disproves the Exponential Time Hypothesis. The company released a Lean theorem for external verification and is offering funding for related workshops.
Auto-generated summary for reference only. RSS