Avery Carr

Father, analyst, combinatorist, AI, applied mathematics, graph and number theory enjoyer. University of Memphis math alum. All views are my own.

[Sebastien Bubeck @SebastienBubeck]

@littmath totally. I am however a big fan of moving into the direction of "Kolmogorov Appendix" that I mentioned a while ago, where you show the "minimal prompt" that allows the model to recover your result. Details TBD (and there are many!)

[Avery Carr @ATCarrMath]

@SebastienBubeck @littmath Prompts from the Book. 😂

[Avery Carr @ATCarrMath]

@skominers @MechanizeWork In other words in addition to people like @skominers (who is top notch) look for some logicians too.

[Avery Carr @ATCarrMath]

@skominers @MechanizeWork Seriously though, Gödel numbering and that type of approach could get you to undecidable propositions that LLMs could not solve.

[Avery Carr @ATCarrMath]

@skominers @MechanizeWork Time to put my Gödel hat on. 😂

[Avery Carr @ATCarrMath]

@fortnow That’s a good point. Thought about that lately as well.

[Thomas Bloom @thomasfbloom]

Mathematics -is- a human endeavour.

There is something which maybe you're calling mathematics that has nothing to do with humans, some 'platonic otherworld' of abstract ideas. But what I call mathematics is the human attempt to explore and understand this world.

[Mathematica @mathemetica]

Either mathematics is too big for the human mind, or the human mind is more than a machine.

- Kurt Gödel

[Avery Carr @ATCarrMath]

@YuDai_Tsai I’m trying.

[Avery Carr @ATCarrMath]

@skominers @lianda_edu Ditto to that!

[Avery Carr @ATCarrMath]

@nasqret 💯

[Thomas Bloom @thomasfbloom]

I have signed the Leiden declaration, and encourage everyone to read it and reflect.

Even if some of the points are impossible to achieve in reality, they are a good set of guidelines to try and do what is best for humanity.

https://t.co/xbJoxC6rJ3

[Avery Carr @ATCarrMath]

@thomasfbloom Signed!

[Steven Strogatz @stevenstrogatz]

A beautiful example of an "optimal stopping problem" – Feynman's restaurant problem – with a great backstory behind it. This is a fun, well written article, and a fun math problem too.

https://t.co/0Nng9KLDHa

[Avery Carr @ATCarrMath]

What in the Isaac Asimov?

[Scientific American @sciam]

A group of researchers have proposed rules to prevent artificial intelligence from overpowering humans in math
https://t.co/SZV0OofxEo

[Avery Carr @ATCarrMath]

@LongFormMath Have a great trip and stay safe Jay.

[Avery Carr @ATCarrMath]

@skominers @ben_golub 😂

[Ken Ono @KenOno691]

Mathematically, Aumann’s theorem means I have to agree to agree with Scott! 🤝 Happy to bring formal verification to economics. Catch our exclusive in @FortuneMagazine. @axiommathai @leanprover

[Avery Carr @ATCarrMath]

@KenOno691 @FortuneMagazine @axiommathai @leanprover This is so awesome! Congrats! I have been saying that LEAN will be used for more than mathematics. Economics is rich ground for formalization. I proposed a while ago an idea to prove the Efficient Market Hypothesis (in its various forms) as an undecidable proposition.

[Scott Kominers @skominers]

Super excited to share joint work with @axiommathai that kicks off a broader project of formalization in economics.

Aumann's celebrated theorem says we can't "agree to disagree."

But what does that actually mean – formally? 👀