原文开头
the theorems, the Lean code, the papers, and I said: ‘Here’s the problem.’ It’s kind of cheeky: I’ve been in forums with other mathematicians, and [of] course they’re all angry with me… because I don’t have the background to land this result.” While mathematicians attempt to make the formalisation process of mathematics AI-proof (see main story), AI continues to make breakthroughs. In 2023, after decades of searching, mathematicians discovered a shape called “the hat” that can tile a 2D surface without gaps and without ever creating a repeating pattern. Now, Ioannis Tsiokos, a software developer with no background in maths, has used AI to go one dimension better and discover a 3D shape that can do the same thing. …
摘自《新科学家》(New Scientist)2026年10月10日。仅引用开头一小段供了解文章,版权归原刊所有,全文请阅读原刊。