The organizers of TACT2025 are pleased to announce that you can now watch videos for the conference here: https://www.youtube.com/playlist?list=PLCwaKSx2kC4JosbSjV4A_JugAf1DW6yWX pinging @hegeliantaco@mathstodon.xyz who has specifically requested.
Remote
Jade Master
@JadeMasterMath@mathstodon.xyz
mastodon 4.7.2439 Followers
270 Following
12 Posts
Joined November 21, 2022
Pronouns:
She/her
Type theorists don't have universes they have *immaculate foundations*
Replying to
@mc This is how I felt about the free category stuff I was harping on for years, I never discovered it just properly appreciated it
RE: @johncarlosbaez@mathstodon.xyz
And then god said, let Freiman's constant be (2221564096 + 283748 sqrt(462)) / 491993569
Replying to
@johncarlosbaez@mathstodon.xyz @richardelwes@mathstodon.xyz it's a *big* subject, surely there's room for a second book?
Replying to
@johncarlosbaez Would be fun to add some finite categories to this. Might be something like a categorical OEIS
Replying to
@26aafa19 @pigworker Yes, I think Conor's opinion is coming from a complaint that I have with Holly Bruce that I've passed on to them.
Replying to
@highergeometer@mathstodon.xyz @tao@mathstodon.xyz @johncarlosbaez@mathstodon.xyz Did GPT give the correct proof in one shot?, or was it a more iterative process with the prompter?
Replying to
@johncarlosbaez@mathstodon.xyz @highergeometer@mathstodon.xyz @tao@mathstodon.xyz Seems like there was a lot of work done by humans in completing this proof (much of it done by one of the worlds most eminent mathematicians) so I wouldn't personally give GPT the credit for this one, just for coming up with the initial idea.