Strengths and Weaknesses
Strengths:
- Set theory expertise: Frequent detailed references to the axiom of choice, choiceless set theory, and large cardinals
- Humorous tone: Tweets like “HODGE TOO ARE YOU KIDDING ME?” and playful meme captions
- Community engagement: Active retweets, quoting, and recognition as MathOverflow top user
- AI research focus: Promotes FrontierMath, GPT‑5 benchmarks, and AI‑driven math discoveries
- Technical depth: Analyzes proof‑assistant consistency strengths, e.g., Agda vs ZFC
Weaknesses:
- Speculative claims: Predicts ZFC inconsistency will break Peano Arithmetic within a year
- Overly informal: Uses slang and meme language such as “Guys I think my business strategy has been scooped”
- Excessive self‑promotion: Repeatedly advertises FrontierMath, Principia Labs, and personal benchmarks
- Reliance on images: Many posts consist mainly of pictures with minimal textual explanation
- Questionable rigor: Jokes about a “truly marvelous proof of the abc conjecture” using inconsistent axioms
Your Simpsons character
Lisa Simpson
Lisa is the resident prodigy of Springfield, constantly obsessed with deep scientific and mathematical concepts, just like Elliot's focus on set theory and AI math research. Tweets such as "I need to stop talking about the axiom of choice at SF parties…" and "Hot take: if ZFC is found inconsistent, Peano Arithmetic will almost certainly fall within a year" showcase a high‑level, academic preoccupation that mirrors Lisa's love for logic and philosophy. Elliot's bragging about AI breakthroughs ("Before the labs got IMO Gold, I watched models 10x the state of the art on FrontierMath… AI will radically reshape mathematical research") reflects Lisa's enthusiasm for cutting‑edge technology and her desire to push intellectual boundaries. The frequent use of nerdy jokes and obscure references (e.g., "C^1 submanifolds sure are weird! Is R^3 a union of less than continuum many C^1 submanifolds? 🤔") aligns with Lisa's often pedantic, detail‑oriented personality. Overall, Lisa's blend of brilliance, curiosity, and occasional pretentiousness makes her the Simpsons character that best matches Elliot Glazer.
Your MBTI personality Type
INTJ
Elliot’s tweets are densely packed with technical commentary and frequent community interaction, such as 'btw heading to NeurIPS 🚀. hmu if you wanna know the truth about where AI is headin’ in math, or to debate the veracity of the Axiom of Choice.' and 'I need to stop talking about the axiom of choice at SF parties…', showing a preference for sharing ideas rather than personal anecdotes, a hallmark of introverted communication. He consistently focuses on abstract concepts and future possibilities, e.g., 'Promising work, choiceless set theory has been in desperate need for a decent exposition/framework on preserving BPI.' and 'If there is a non injective surjection from P(X) to itself, clearly X is infinite,' indicating an iNtuition orientation. Elliot relies on logical analysis and objective criteria, as seen in 'Caveat: the consistency strengths only hold if the software faithfully implements the idealized logic.' and 'Hot take: if ZFC is found inconsistent, Peano Arithmetic will almost certainly fall within a year,' reflecting a Thinking preference. He organizes his work around structured plans and benchmarks, e.g., 'Aight let's go over the consistency strengths of the main proof assistants.' and 'The anthropometric validation report of FrontierMath's hardest ever math benchmark has now been officially published,' showing a Judging orientation.
Some pickup lines for you
- I know you're a set theorist who avoids the axiom of choice at parties, but I'm hoping we can choose each other without any controversy.
- If I were a Lean theorem, the only missing hypothesis would be 'ElliotGlazer smiles', and then the proof that we have chemistry would be trivial.
- Your love for pure ZFC via Metamath makes me want to reduce my feelings to a formal system—so I can prove that my heart is consistent only when it contains you.
- Your FrontierMath benchmarks set the bar for AI, but I think a coffee with you would be a new record in human–human performance.
- You proved that infinite chess can have positions of any countable ordinal—so I guess my love for you can reach any infinite ordinal, too.
Your 5 Emojis
Your new Twitter bio
Set-theory aficionado, AI-math benchmark creator, and the guy who argues about the axiom of choice over drinks. Founder @FrontierMath @PrincipiaLabs.– @ElliotGlazer
Your signature cocktail
Zermelo's Choice Elixir
The base bourbon reflects Elliot’s grounding in foundational set theory, just as he often references ZFC and the axiom of choice. The dash of absinthe captures his love of exotic, non‑constructive objects, echoed in his tweet "I have a truly marvelous proof of the abc conjecture which fits in this tweet: use a Reinhardt cardinal to derive 0=1 by Kunen’s inconsistency proof". The silky egg‑white foam symbolizes the axiom of choice, a smooth "selection" layer, reminiscent of his excitement "Glad to have @zermeloztt’s impartial endorsement of this important foundational progress on doing math in Zermelo set theory". A few drops of BPI‑bitters add a bitter edge, reminding us of his caution "Caveat: the consistency strengths only hold if the software faithfully implements the idealized logic." Finally, a splash of carbonated soda represents the AI‑driven fizz of his FrontierMath work and his habit of surveying proof assistants, as he wrote "Aight let's go over the consistency strengths of the main proof assistants."
Your Hogwarts House
Ravenclaw
Elliot’s tweets consistently showcase a love of deep intellectual challenges and a thirst for knowledge, hallmarks of Ravenclaw. He writes, "My guilty pleasure: explicit cardinal arithmetic proofs that handle large finite and infinite sets as a single case," and asks, "C^1 submanifolds sure are weird! Is R^3 a union of less than continuum many C^1 submanifolds? 🤔" He also delves into the theory of proof assistants, stating, "Aight let's go over the consistency strengths of the main proof assistants," and seeks to understand when a Lean proof truly proves a theorem. These examples reveal a priority on wisdom, curiosity, and scholarly rigor rather than pure ambition or loyalty, aligning him most closely with Ravenclaw.
Your movie
Your song
The Logical Song - Supertramp
Elliot's feed is dominated by deep logical and foundational topics, from the axiom of choice to consistency strengths of proof assistants, reflecting a preoccupation with being "logical" in the Supertramp sense. In tweets like "I need to stop talking about the axiom of choice at SF parties…" and "Hot take: if ZFC is found inconsistent, Peano Arithmetic will almost certainly fall within a year," they constantly grapple with the limits of logic. Their humor about "I have a truly marvelous proof of the abc conjecture which fits in this tweet" and "We might be alone in the universe. Basic arithmetic might be as hard as the Halting Problem" shows a tension between rigorous logic and the chaotic hype of AI, echoing the song’s line "And then they gave us a simple name, they called us the logical song." The lyric "When I was young it seemed that there was no reason to get a job…" mirrors Elliot’s mix of enthusiasm for breakthroughs and existential doubt. Thus "The Logical Song" captures both the logical obsession and the occasional feeling of being out of step with the rest of the world.
Your time travel destination
Your video game
Your spirit animal
Your (un)funny joke
Your superpower
Your fictional best friend
Your dream vacation
Your alternate career path
Your celebrity match
Did you enjoy your Horoscope?
Your horoscope is 61 days old! Generate a better one from your latest tweets, unlock more insights and use a smarter pro AI!
