Claude від Anthropic формалізував Велику теорему Ферма за 11 днів, витративши 6 млрд токенів
Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens
За даними Forbes, ШІ-модель Claude від Anthropic формалізувала доведення Великої теореми Ферма за 11 днів роботи, витративши приблизно 6 мільярдів вихідних токенів. Для порівняння, аналогічний проєкт математика Кевіна Баззарда вартістю 1 мільйон фунтів розрахований на п'ять років роботи. Це підкреслює швидкість, з якою сучасні ШІ-системи здатні виконувати складні задачі формальної верифікації математичних доведень.
Мовою оригіналу · EN
Anthropic's Claude formalized a proof of Fermat's Last Theorem in just 11 days, using around 6 billion output tokens, Forbes reports. By comparison, mathematician Kevin Buzzard's similar…
Читати оригінал на Forbes · Innovation →
Чому в стрічці: Приклад швидкого прогресу можливостей ШІ у складних математичних задачах — ключова тема інтересу користувача.