Post #1805
875
Арман про математику Первого августа OpenAI выложила десять результатов по математике, которые получила внутренняя версия их следующей модели — Astra. Наружу её пока не давали. Каждая задача стояла минимум десять лет, часть — гораздо дольше. Там несофические группы (Громов ввёл…
О, а вот и опровержение одного из контрпримеров, типа построенных ИИ, не задержалось
philpapers.org Jenny Lorraine Nielsen, Conne's Rigidity Theorem: Disproof of the Open AI and Anthropic Counterexamples (with Proposed Proof of… We disprove the recent OpenAI, Anthropic, and Zhou "disproofs" by counterexample to Connes' rigidity conjecture, then show the same move proves the conjecture itself. Part I shows that three independent claimed ... - 👍 8