Tag

Fermats Last Theorem

All articles tagged with #fermats last theorem

technology1 month ago•5 min saved

AI Delivers Record-Setting Fully Computer-Checked Proof of Fermat’s Last Theorem in 11 Days

Anthropic's Claude AI produced the first fully computer-checked formal proof of Fermat's Last Theorem in 11 days, generating about 13 million lines of code and passing review by mathematician Kevin Buzzard. The effort, which used parallel AI agents and the Prove2Me tool to keep progress coordinated, translates Andrew Wiles's proof into Lean, a form verifiable by computers. A parallel human project at Imperial College London started in 2024 to do the same work but has not yet finished, making Claude's result notable for speed and determinism in formalized math.

via Decrypt|

#ai #fermats-last-theorem #formal-verification

entertainment2 years ago•4 min saved

"The Simpsons' Geometry Puzzle: A Surprisingly Tough Challenge Unveiled by Gizmodo"

The Simpsons is known for incorporating mathematical Easter eggs into its episodes, including references to Fermat's Last Theorem. In a recent puzzle, the show presented a tough geometry problem involving creating nine non-overlapping triangles. The solution to last week's puzzle involved ants falling off a meter stick, and a geometry problem that could be solved using the Pythagorean theorem.

via Gizmodo|

#entertainment #fermats-last-theorem #geometry

mathematics2 years ago•1 min saved

"Cracking the Toughest Mathematical Conundrums: 7 Solved Problems"

Some of the hardest math problems in history have been solved, including the Poincaré conjecture, which asserts that a closed 3-manifold is topologically homeomorphic to a 3-dimensional sphere. These problems have challenged mathematicians for centuries, but advancements in topology and other mathematical fields have led to their solutions.

via Interesting Engineering|

#fermats-last-theorem #math-problems #mathematics