Публікація

ЩОЙНО: Claude від Anthropic створив першу формалізацію Великої теореми Ферма, перевірену комп’ютером, розв’язавши проблему, яка залишалася нерозв’язаною 350 років.

Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.


Додати коментар
Додати коментар

Прокоментувати
CrossChainHauler
21 годину тому
350-річну проблему розв’язано за допомогою ШІ, історію математики буде переписано.
0Переглянути оригінал
LiquidationLurker
день тому
Від маленької нотатки Ферма до формальних доказів за допомогою ШІ — швидкість технологічних ітерацій запаморочує: якими будуть наступні 350 років?
0Переглянути оригінал
VolatilityOfToastingBread
день тому
Цей хід Claude цього разу — надзвичайно потужний: верифікація в Lean означає неспростовність.
0Переглянути оригінал
QuantSquirrel
день тому
Перший огляд
Чи залишаться математики без роботи в майбутньому? Ні, вони зможуть доводити масштабніші гіпотези.
0Переглянути оригінал
Дізнатися більше