Új matematikai sejtéseket oldott meg az OpenAI mesterséges intelligenciája

Az AI 2026. október 18-án generált bizonyítást a helyi simítási sejtésre, amelyet a következő napon Lean formálisan rögzítettek – ez az első teljes dimenzióra kiterjedő bizonyítás.