Mathematicians plan computer proof of Fermat’s last theorem

Mar 19, 2024

Mathematicians plan computer proof of Fermat’s last theorem

Posted by Dan Breeden in categories: computing, mathematics

Fermat’s last theorem puzzled mathematicians for centuries until it was finally proven in 1993. Now, researchers want to create a version of the proof that can be formally checked by a computer for any errors in logic.

By Alex Wilkins

Comments are closed.

Уровень угрозы GETAS Защищено
Ведущий донор: Серджио Тарреро
#2 донор Джек Халперн
#3 донор: Дэн Сточеску
#4 донор: Джаан Таллинн

LF фонд: $650,034.50
LF-500: 13 членов
Патронаж: 1 член
Первый класс: 1 член
Исполнительный уровень: 12 членов
Экономный уровень: 23 членов
A-500: 1 член
Доноры: 6,010

A-PRIZE: $30,017.00
Новости LIFEBOAT: 3,404 подписчиков
Предупреждения GETAS: 574 подписчиков
Блог: 122,712 постов
MYSPACE: 577 друзей
FACEBOOK: 13,973 членов
LINKEDIN: 2,066 членов
Твиттер: 31,495 членов

НаноЩит: $17,018.00
Борьба со СПИДом: 3 членов
FOLDING@HOME: 15 членов
ROSETTA@HOME: 44 членов
A-PRIZE: 55 членов
НаноЩит: 69 членов
ИИ-щит: 25 членов

ИИ-Щит: $4,127.00
SAB: 2,941 членов
Отчёты: 74
Программы: 25
Форумы: 24
Цитаты: 136

© 2002–2024 Lifeboat Foundation