Liu Yao 刘杳
@liuyao12.bsky.social
AI ⋉ Math. Blogs at Observable on interactive math.
How likely will this hold up? And will that be formalized before @xenaproject.bsky.social finished with his?
Zhong-Peng Zhou: The inter-universal Teichm\"uller theory and new Diophantine results over the rational numbers. I https://arxiv.org/abs/2503.14510 https://arxiv.org/pdf/2503.14510 https://arxiv.org/html/2503.14510
April 29, 2025 at 9:57 PM
How likely will this hold up? And will that be formalized before @xenaproject.bsky.social finished with his?
In 2023, David Smith, Joseph Myers, Craig Kaplan, and Chaim Goodman-Strauss shocked the world with the discovery of the first aperiodic monotiles, the so-named hat, the turtle, and (a bit later) the spectre.
In fact there is a continuum of 13-sided polygons, with all the angles multiples of 30°.
In fact there is a continuum of 13-sided polygons, with all the angles multiples of 30°.
December 4, 2024 at 9:50 AM
In 2023, David Smith, Joseph Myers, Craig Kaplan, and Chaim Goodman-Strauss shocked the world with the discovery of the first aperiodic monotiles, the so-named hat, the turtle, and (a bit later) the spectre.
In fact there is a continuum of 13-sided polygons, with all the angles multiples of 30°.
In fact there is a continuum of 13-sided polygons, with all the angles multiples of 30°.
Hello World!
Now that AI for Math is becoming a distinctive field, why would one write "AI ⋉ Math", a semidirect product?
1. It's a larger group constructed from the two groups.
2. It depends on an "action" or transformation of Math by AI.
That's all.
Now that AI for Math is becoming a distinctive field, why would one write "AI ⋉ Math", a semidirect product?
1. It's a larger group constructed from the two groups.
2. It depends on an "action" or transformation of Math by AI.
That's all.
November 23, 2024 at 1:50 AM
Hello World!
Now that AI for Math is becoming a distinctive field, why would one write "AI ⋉ Math", a semidirect product?
1. It's a larger group constructed from the two groups.
2. It depends on an "action" or transformation of Math by AI.
That's all.
Now that AI for Math is becoming a distinctive field, why would one write "AI ⋉ Math", a semidirect product?
1. It's a larger group constructed from the two groups.
2. It depends on an "action" or transformation of Math by AI.
That's all.