Monday, November 27, 2023
Monday, November 20, 2023
Thursday, November 9, 2023
The Enormous Mess
"Symmetry is the concept that something can undergo a series of transformations—spinning, folding, reflecting, moving through time—and, at the end of all those changes, appear unchanged. It lurks everywhere in the universe, from the configuration of quarks to the arrangement of galaxies in the cosmos. The Enormous Theorem demonstrates with mathematical precision that any kind of symmetry can be broken down and grouped into one of four families, according to shared features. For mathematicians devoted to the rigorous study of symmetry, or group theorists, the theorem is an accomplishment no less sweeping, important, or fundamental than the periodic table of the elements was for chemists. In the future, it could lead to other profound discoveries about the fabric of the universe and the nature of reality. Except, of course, that it is a mess: the equations, corollaries, and conjectures of the proof have been tossed amid more than 500 journal articles, some buried in thick volumes, filled with the mixture of Greek, Latin, and other characters used in the dense language of mathematics. Add to that chaos the fact that each contributor wrote in his or her idiosyncratic style. That mess is a problem because without every piece of the proof in position, the entirety trembles. For comparison, imagine the two-million-plus stones of the Great Pyramid of Giza strewn haphazardly across the Sahara, with only a few people who know how they fit together. Without an accessible proof of the Enormous Theorem, future mathematicians would have two perilous choices: simply trust the proof without knowing much about how it works or reinvent the wheel. (No mathematician would ever be comfortable with the first option, and the second option would be nearly impossible.)" — Ornes, Stephen (2015). "The Whole Universe Catalog : Before they die, aging mathematicians are racing to save the Enormous Theorem's proof, all 15,000 pages of it, which divides existence four ways." Scientific American, July 2015: 313 (1), 68–75. Reprinted in Stewart, Amy; Folger, Tim. The Best American Science and Nature Writing 2016 (The Best American Series) (pp. 222-230). Houghton Mifflin Harcourt. Kindle Edition. |
Compare and contrast with the ChatGPT version.
Wednesday, November 8, 2023
The Theorem as Big as the Ritz
Monday, May 15, 2023
Chatbot Review
By ChatGPT* —
What is the Cullinane diamond theorem? The Cullinane Diamond Theorem, also known as the Diamond Theorem, is a result in combinatorial mathematics proposed by Steven H. Cullinane. The theorem explores connections between finite geometries, algebraic structures, and combinatorial designs.
The theorem is primarily concerned with four related structures: 2. Vector spaces: The theorem connects finite vector spaces over finite fields to the aforementioned finite geometries. 3. Boolean functions:* The theorem establishes relationships between the finite geometries and certain Boolean functions derived from them.
4. Symmetry groups: The theorem involves symmetry groups associated with the finite geometries. * With one revision by Cullinane: "Boolean functions" replaces "Boolean algebras." See (for instance) M. A. Harrison, “On the classification of Boolean functions by the general linear and affine groups,” Journal of the Society for Industrial and Applied Mathematics 1964 12:2, 285-299. |
Wednesday, May 10, 2023
ChatGPT Improves
Previous ChatGPT responses to questions like those below
have been, to put it mildly, lacking in accuracy. But there has
lately been considerable improvement . . .
Sunday, April 30, 2023
For Harlan Kane: The Walpurgisnacht Hallucination
Note that if the "compact Riemann surface" is a torus formed by
joining opposite edges of a 4×4 square array, and the phrase
"vector bundle" is replaced by "projective line," and so forth,
the above ChatGPT hallucination is not completely unrelated to
the following illustration from the webpage "galois.space" —
See as well the Cullinane diamond theorem.
Monday, March 13, 2023
Frontiers of Artificial Mathematics
Previous posts have shown ChatGPT answering the question
"What is the diamond theorem?" with references to Thurston
and, later, to Conway. Today it is Penrose's turn.
Related search results (click to enlarge) —
Sunday, March 5, 2023
Annals of Artificial Mathematics
The response of ChatGPT to a question about my work
continues to evolve. It now credits Conway, not Thurston,*
for the diamond theorem.
The paragraph beginning "The theorem states" appears** to be based
on the following 24 patterns — which number only 8, if rotated or
reflected patterns are considered equivalent.
* For Thurston in an earlier ChatGPT response to the same question,
see a Log24 post of Feb. 25.
** The illustration above is based on the divison of a square into
four smaller subsquares. If the square is rotated by 45 degrees,
it becomes a diamond that can be, in the language of ChatGPT,
divided into "four smaller diamonds ."
Saturday, February 25, 2023
The Diamond Theorem according to ChatGPT
The part about tilings, group actions, and the diamond-shaped
pattern is more or less OK. The parts about Thurston and
applications are utterly false.
Compare and contrast . . .