I'm sad to have to post this, unless if there's a mathematical lesson to gather from it. Would it be possible that some actually trivial moves elude us for some reason, and which the computer explores.
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- Apprentice mathematician (Professor at Université Paris Cité), interested in algebraic geometry, number theory and (more recently) proof formalization - Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet). - Apprentice progressist. In love with math, jazz, indian music and poetry. ⏚
mathstodon.xyz
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- Apprentice mathematician (Professor at Université Paris Cité), interested in algebraic geometry, number theory and (more recently) proof formalization - Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet). - Apprentice progressist. In love with math, jazz, indian music and poetry. ⏚
mathstodon.xyz
@antoinechambertloir@mathstodon.xyz
·
3d ago
7
0
4
Loading comments...