ИИ только что опроверг 30-летнее предположение в информатике
By Keshavan Thiagaraja Информатика редко переживает такой месяц. Одно из её фундаментальных убеждений рухнуло, и
By Keshavan Thiagaraja Информатика редко переживает такой месяц. Одно из её фундаментальных убеждений рухнуло, и
By Keshavan Thiagaraja کمپیوٹر سائنس کو ایسا مہینہ شاذ و نادر ہی ملتا ہے۔ اس
By Keshavan Thiagaraja Ilmu komputer jarang mengalami bulan seperti ini. Salah satu keyakinan fondasionalnya telah
By Keshavan Thiagaraja A ciência da computação raramente vive um mês assim. Uma das suas
By Keshavan Thiagaraja কম্পিউটার বিজ্ঞানের এমন মাস খুব কমই আসে। এর একটি ভিত্তিগত বিশ্বাস ভেঙে
By Keshavan Thiagaraja L’informatique vit rarement un mois pareil. L’une de ses croyances fondatrices vient
By Keshavan Thiagaraja نادراً ما يمر على علوم الحاسوب شهر كهذا. أحد معتقداتها التأسيسية قد
By Keshavan Thiagaraja Las ciencias de la computación rara vez viven un mes así. Una
By Keshavan Thiagaraja कंप्यूटर विज्ञान को ऐसा महीना शायद ही कभी मिलता है। इसकी एक
By Keshavan Thiagaraja 计算机科学很少遇到这样的一个月。它的一个基本信念被推翻了,而检查残骸的人中,就包括当初建立它的研究者本人。 10月16日,OpenAI的一个研究模型用日常语言对指数时间假设(Exponential Time Hypothesis)提出了反驳。不到一天,这一论证就被转录进Lean——一个能机械验证每一步逻辑的证明检查器。这份67页的手稿将OpenAI本身列为作者。 Anthropic在没有任何协调的情况下,提前几个小时到达了同一个终点。它的49页论文《A 2^o(n) Time Algorithm for 3-SAT》署名Claude,而核心算法正是由一个Claude研究模型在同一天发现的。 该假设大约始于1999年,Russell Impagliazzo和Ramamohan