Avery Carr

Father, analyst, combinatorist, AI, applied mathematics/data science, and graph theory enjoyer. @UTAustin MSDS candidate. @MemphisAlumni math alum. My views.

[Avery Carr @ATCarrMath]

@McConaughey @TexasLonghorns @TexasFootball Hook’em 🤘

[Avery Carr @ATCarrMath]

@kyleumlang Imagine being so epic in general (not necessarily reflected this season) that non-rivals lose sleep over you. Hook’em!

[Avery Carr @ATCarrMath]

I know this is AI but why the hate against my fellow Indian brothers and sisters? If you support this racist mess unfollow me please. We will definitely not get along.

[Steven O’Hare 🇹🇹 @steveohare32]

Getting ready to board my flight to Austin. Anything worth noticing? #awaygame #donotredeemit

[Avery Carr @ATCarrMath]

@gammaofzeta Great topic.

[Alvaro Lozano-Robledo @mathandcobb]

Please apply for the MathAndCobb Fund for Mathematical Exploration! (MaC Fund for ME)

Every few months I give away about ~$250 from my content creator funds to someone pursuing some mathematical goal. You can find the rules and how to apply at the link. Next deadline is Nov. 15th.

https://t.co/JVsUTteZ3P

[Avery Carr @ATCarrMath]

The avengers we needed.

[Math Files @Math_files]

A new NPR investigation has found a troubling problem in AI-generated mathematics.

Cambridge mathematician Anders Hansen identified a discrepancy between an AI-generated proof and its Lean formalization.

A constant had changed from 4 to 5, making the formally verified statement weaker than the original claim.

The Lean verification itself was not necessarily incorrect. The concern is that it may have verified something different from what the original mathematical argument asserted.

The report also features Daniel Litt, who identified an error invalidating a separate AI-generated paper, and Dana Moshkovitz, who discusses a proposed solution to the Unique Games Conjecture.

The investigation highlights a distinction that is becoming increasingly important: verifying a formal proof is not enough unless the formal statement faithfully represents the intended theorem.

Source: NPR, 21 October 2026 (US), 22 October 2026 (IST).

[Avery Carr @ATCarrMath]

@noname102059 @LongFormMath Jinx.

[Joel Walsh @ThankUBayesGod]

@NoahMF @ninetysevenjag For technical fields there are many undergrad programs (engineering, cs, math, physics, etc ) that are higher ranked than uva

[Avery Carr @ATCarrMath]

$1.37B in research funding and #1 in NSF funding. Choosing Texas was easy…

[Jon Hartley @Jon_Hartley_]

Terrific @UTAustin State of the University Address from President @JimDavis_UT

[Avery Carr @ATCarrMath]

@LongFormMath I think it was Einstein that said something like “ I don’t know how WW3 will be fought but I know WW4 will be fought with sticks and stones.” So I say I don’t know how Math 2 will go but Math 3 might be done with notches on bones. 😂

[Avery Carr @ATCarrMath]

@octonion I mean the points are bad takes: GR is not fundamentally correct? Wow. Tell that to all of the experiments (some Nobel prize producing) that say it is.

[Avery Carr @ATCarrMath]

A milestone in my journey as an independent mathematics researcher! Wolfram MathWorld now explicitly cites two of my contributions to the Erdős–Gyárfás conjecture. Honored to have my work recognized in such a respected mathematical reference.

https://t.co/0gF50WxpMa

[Avery Carr @ATCarrMath]

@AcerFur @mathandcobb Congratulations 🍾

[Avery Carr @ATCarrMath]

@erisaonX Wow! Congratulations 🍾 doctor. Proud to see another Longhorn making it.

[Avery Carr @ATCarrMath]

Interesting take from our celebrated logician @JDHamkins … if we altered the rules of chess where we forgo check and checkmate and actually have to capture the king, will the game be the same? Intuitively, we might say of course. Not so fast. Find out below 👇.

[Joel David Hamkins @JDHamkins]

https://t.co/ZpbUOK42tX

[Avery Carr @ATCarrMath]

@IAmTimNguyen @arxiv 54 versions!

[Avery Carr @ATCarrMath]

@jdlichtman @lpachter @3blue1brown I agree 100%.

[Avery Carr @ATCarrMath]

@kyleumlang #1s are not #1s for long this season.

[Avery Carr @ATCarrMath]

@tbhorka At least he is taking ownership. He is a great QB. The Manning name on his jersey adds a lot of pressure.

[Avery Carr @ATCarrMath]

@karch_andreas Awesome! 🤘