Rebecca Morris

Ex academic philosopher. Ph.D. from Carnegie Mellon. Parent to 2 kiddos. ❤️ Love: math, philosophy, nature, cybersecurity. ❌Hate: scams, covid

[Rebecca Morris @beckyphilmath]

I became a US citizen in a mask

[Nina Wildflower @Ninawildflower]

@VicGovDH I teach in a mask.

[Rebecca Morris @beckyphilmath]

@soren_iverson Nearly fell for this before checking the username 😂

[Rebecca Morris @beckyphilmath]

@NortonMpls @MinneapolisPD @CityMinneapolis So sorry to hear this! It's awful that someone would threaten you and your super sweet dog. Please stay safe!

[Sebastien Bubeck @SebastienBubeck]

GPT-5.5 (the one available right now to everyone) can also disprove the sum-product conjecture: https://t.co/gdHwLY3o20 . I didn't reveal it before because I think it is good to give some space to the community to absorb these new capabilities. In particular the humans involved in the discovery should get all the credit for this amazing breakthrough. We all have some work to do to align on cultural norms in this new world.

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

[Rebecca Morris @beckyphilmath]

@RISignal I hope so! I'm just not sure what it looks like in practice.

[Steven Strogatz @stevenstrogatz]

This terrific article by @sioroberts will help elevate the public discussion of AI in mathematics. The interview about the Leiden Declaration is especially helpful. https://t.co/u4SYxQVXZ2

[Ken Ono @KenOno691]

I unequivocally support the Leiden Declaration. As a former AMS VP, current Editor-in-Chief, and someone bridging academia and industry, I see its message as urgent. AI will shape mathematics. We must uphold rigor, transparency, attribution, and culture. https://t.co/owK1HAOHrf

[Rebecca Morris @beckyphilmath]

@duolingo My husband had over a 1,000 day streak doing Chinese but lost it when he caught COVID a couple of months ago. The fatigue and brain fog meant he couldn't do Duo for over 2 weeks!

[Timothy Gowers @wtgowers @wtgowers]

Another major problem, this time in additive combinatorics, has fallen, this time to humans rather than AI, but using methods related to the AI solution to the unit distance conjecture.

[Mathieu @miniapeur]

So guys, can we use AI to make inter-universal Teichmüller theory finally understandable to someone other than Mochizuki himself?

[‏ً @omgsidewalks]

Please stop. I don’t want an AI summary of my Google search. I don’t want an AI summary of the text message from my friend at work. I don’t want an AI summary of the email I’m about to read. Please just stop.

[Kinai @Kinai_24]

Lol un equipo de Google (+ un colaborador de la uni de Aarhus) ha sacado este paper anunciando que han resuelto 9 de 353 problemas abiertos de Erdős con LLMs y verificación con Lean

[Sai Kambampati @heysaik]

this is hilarious

[Rebecca Morris @beckyphilmath]

@LongFormMath My husband, who is a professor in health informatics and regularly uses math in his work, denies the complex numbers are numbers!

[Anthony Bonato @Anthony_Bonato]

Like many mathematicians, I’m a bit shell-shocked by the OpenAI breakthrough on the unit-distance problem, which was an 80-year-old one posed by Erdős.

What does this mean for research mathematicians and for mathematics in general?

A stream-of-consciousness thread

[Matthew “Movies” Thomason @ThomasonTown]

https://t.co/a4LdbbwjfJ

[Timothy Gowers @wtgowers @wtgowers]

If you are a mathematician, then you may want to make sure you are sitting down before reading further.

[Prakhar Khanna @Parkyprakhar]

Google saying millions of people use AI Overviews is like saying millions of people love to breathe 500+ AQI air. They don’t. They simply exist in a place where the air has been polluted and have no choice to leave.

Stop shoving down AIO people’s throats and see the number drop.

[David Turturean @DavidTurturean]

I fully solved my 2nd Erdős Problem using ChatGPT-5.5-Pro - and then I verified the solution by formalizing it!

Less than 2 days after solving my first Erdős Problem, after running Pro for a few hours I was able to elicit the solution, this time in analytic number theory! 🧵1/n