Anthropic заявила про формалізацію Великої теореми Ферма за допомогою ІІ
Formalizing Fermat's Last Theorem
Anthropic повідомила про проєкт перетворення класичного доведення Великої теореми Ферма у формат, який може перевірити комп'ютер. За даними компанії, ІІ-моделі суттєво прискорили цю роботу з формальної верифікації. Це подається як одне з найбільших досягнень у застосуванні ІІ до складної математики.
Мовою оригіналу · EN
Anthropic announced work on formalizing the proof of Fermat's Last Theorem into a machine-checkable format. The company says its AI models played a significant role in accelerating this formal…
Читати оригінал на Anthropic (через Google News) →
Чому в стрічці: Помітне досягнення ІІ у формальній математиці — резонує з високим інтересом користувача до можливостей AI.