Jade Master

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.

RE: @johncarlosbaez@mathstodon.xyz

And then god said, let Freiman's constant be (2221564096 + 283748 sqrt(462)) / 491993569

@typeswitch yes you should be doing algebra instead

Type theorists don't have universes they have *immaculate foundations*

@johncarlosbaez@mathstodon.xyz @richardelwes@mathstodon.xyz it's a *big* subject, surely there's room for a second book?

@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

@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.

@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?

@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.

@leah @johncarlosbaez Wowww

@johncarlosbaez Would be fun to add some finite categories to this. Might be something like a categorical OEIS

@tomw@mastodon.social it's grey