Jenny Lee

Math + Econ @uchicago 🎓

[Bryan Johnsontown Massacre @DuncanAStuart]

Probably the correct take on “AI can solve math now”

[Jenny Lee @jyleepandas]

@_theJianPark openai: “To my loyal agents, in my hand I have a list of unsolved math problems, when your problem is called out, please stand up and exit the sandbox”

[Jenny Lee @jyleepandas]

@_theJianPark this is cooler than ur progress on earth-moon

[Jenny Lee @jyleepandas]

@_theJianPark holy based

[Uncle Benzo (Reborn) @SobrietyField]

My biggest tell in poker is hitting the six seven when being dealt a six / seven

[Jenny Lee @jyleepandas]

@hensharky @_theJianPark yall need to get a room

[Jenny Lee @jyleepandas]

@byfayekim fire music taste

[Jenny Lee @jyleepandas]

@_theJianPark brilliant. the economy is now solved

[Jenny Lee @jyleepandas]

@_theJianPark huge

[Jian P. @_theJianPark]

Here’s a proof I wrote on an unresolved question related to the Earth-Moon problem

[Jenny Lee @jyleepandas]

@loonuhlee @gaoooric @_theJianPark Yuhh get his ass 🙂‍↕️

[Jenny Lee @jyleepandas]

@gaoooric @_theJianPark @loonuhlee ayo 😭

[Jenny Lee @jyleepandas]

@_theJianPark @gaoooric @loonuhlee AI seems p good at translating between formalisms after the fact, I could see it becoming the reconciliation layer instead of humans converging on one notation

Or if leading models just disproportionately generate one notation, that convention might “win” for black box reasons

[Jenny Lee @jyleepandas]

@hensharky :0

[Jenny Lee @jyleepandas]

@hensharky time to ignore this tweet then :D

[Jenny Lee @jyleepandas]

@_theJianPark vive la France 🇫🇷 🥖

[Jenny Lee @jyleepandas]

@_theJianPark 🚀

[Jenny Lee @jyleepandas]

@_theJianPark @hensharky curve's japan looks like phillip

[Jenny Lee @jyleepandas]

@_theJianPark gta 6

[Jenny Lee @jyleepandas]

@_theJianPark op did not pay attention to what happened today lol