| Home : September 15 2026 Computer News : AI Proved Fermat's Last Theorem in Eleven Days; eRacks Sizes the Server for Work Like It |
|
AI Proved Fermat's Last Theorem in Eleven Days; eRacks Sizes the Server for Work Like It |
September 15, 2026
Anthropic's machine-checked proof was eleven days of sustained, verifiable AI work. The open-source server maker explains why that changes how businesses should size private AI hardware, and publishes the numbers.
Link: https://www.1888pressrelease.com/ai-proved-fermat-s-last-theorem-in-eleven-days-eracks-sizes-pr-771528.html
|
|
|
|
|
