Speaker
Jeewon Kim
(KAIST)
Description
John Conway and Alexander Soifer showed that an equilateral triangle T with side length n+ε can be covered using n²+2 unit equilateral triangles. They also conjectured that using n²+1 triangles is not enough.
As a more approachable version of this problem, we ask: Can a regular hexagon with side length 1+ε be covered by just 7 unit equilateral triangles? This simplified question reflects core aspects of the Conway--Soifer conjecture.
In this talk, I will present our progress on this problem, including our use of computer-assisted search and the insights it led to. This is joint work with Jineon Baek.