• Deconstructions of the Jigsaw Puzzles https://mathstodon.xyz/@robinhouston/114272721723207991 0 comments 9/4/2025
• I Saw Democracy Die in Russia https://mathstodon.xyz/@qtasep/113998759539437284 13 comments 3/3/2025
• Claude 3.7 in Cursor is eager – sometimes a bit too eager https://mathstodon.xyz/@pmigdal/114087340065429837 9 comments 1/3/2025
• What are Majorana zero modes? https://mathstodon.xyz/@johncarlosbaez/114031919391285877 10 comments 19/2/2025
• Is the ArXiv safe from the current US Government attacks? https://mathstodon.xyz/@MartinEscardo/114009071233958003 101 comments 15/2/2025
• "Homotopical macrocosms for higher category theory" identified as woke DEI grant https://mathstodon.xyz/@johncarlosbaez/114000054766059217 146 comments 14/2/2025
• Trump's Federal Funding Freeze and Mean-Field Game Theory https://mathstodon.xyz/@tao/113910070146861518 89 comments 29/1/2025
• One of my papers got declined today https://mathstodon.xyz/@tao/113721192051328193 290 comments 1/1/2025
• The number pi has an evil twin https://mathstodon.xyz/@johncarlosbaez/113703444230936435 207 comments 24/12/2024
• Terence Tao: "It can become more rational to think and act more boldly" https://mathstodon.xyz/@tao/113479000564381543 63 comments 14/11/2024
• Discussing the Neptunian desert, savanna, and ridge https://mathstodon.xyz/@johncarlosbaez/113244612199214496 7 comments 3/10/2024
• Terence Tao: creative strategies, this aspect of LLM tools is still weak https://mathstodon.xyz/@tao/113142753409304792 7 comments 15/9/2024
• Terence Tao on O1 https://mathstodon.xyz/@tao/113132502735585408 482 comments 14/9/2024
• Why does current flow the opposite way from the electrons? https://mathstodon.xyz/@johncarlosbaez/112653640999819867 242 comments 21/6/2024
• Running "systemd-tmpfiles --purge" will delete /home in systemd 256 https://mathstodon.xyz/@bremner/112615591101488528 24 comments 19/6/2024
• A breakthrough towards the Riemann hypothesis https://mathstodon.xyz/@tao/112557248794707738 191 comments 4/6/2024
• Here's a puzzle game. I call it Reverse the List of Integers https://mathstodon.xyz/@two_star/112242224494626411 169 comments 12/4/2024
• The seventh most popular easily understood unsolved problem on MathOverflow https://mathstodon.xyz/@johncarlosbaez/111942324712561452 104 comments 16/2/2024
• Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper https://mathstodon.xyz/@tao/111451397742229028 2 comments 29/11/2023
• Lean4 helped Terence Tao discover a small bug in his recent paper https://mathstodon.xyz/@tao/111287749336059662 220 comments 27/10/2023
• John Baez' Applied Category Theory Lectures https://mathstodon.xyz/@johncarlosbaez/111136608294290523 3 comments 29/9/2023
• Terence Tao on GPT-4 https://mathstodon.xyz/@tao/110172426733603359 223 comments 12/4/2023
• We can only reach a finite number of galaxies https://mathstodon.xyz/@johncarlosbaez/110023148963269010 5 comments 21/3/2023
• Terrance Tao on AI vs. traditional software https://mathstodon.xyz/@tao/109971907648866712 4 comments 6/3/2023
• A list of advanced math tricks by Terence Tao https://mathstodon.xyz/@tao/109451634735720062 55 comments 12/12/2022
• proofInAToot https://mathstodon.xyz/tags/proofInAToot 96 comments 6/11/2022
• Google translations from a language that doesn't specify gender https://mathstodon.xyz/system/cache/media_attachments/files/105/901/759/713/827/003/original/6487bffd512baf48.png 12 comments 17/3/2021

• By unpopular demand, let's talk greenhouse gas accounting https://mathstodon.xyz/@JordiGH/99394158355323470 2 comments 5/2/2018 science

• Complex dynamics require complex solutions https://mathstodon.xyz/@tao/113873092369347147 7 comments 16/2/2025 compsci
• Terence Tao's papers get rejected once or twice a year on average by journals he submits them to https://mathstodon.xyz/@tao/113721192051328193 91 comments 4/1/2025 math
• The number pi has an evil twin! https://mathstodon.xyz/@johncarlosbaez/113703444230936435 90 comments 25/12/2024 math
• Terence Tao On OpenAI's New o1 Model https://mathstodon.xyz/@tao/113132502735585408 11 comments 14/9/2024 programming
• Terence Tao on OpenAI's New o1 Model https://mathstodon.xyz/@tao/113132502735585408 139 comments 14/9/2024 math
• A new Lean formalization project led by Alex Kontorovich and Terence Tao has been announced to formalize the proof of the prime number theorem https://mathstodon.xyz/@tao/111847680248482955 11 comments 4/2/2024 math
• Lean4 helped Terence Tao to improve another one of his recent papers by pointing out a missing assumption in one of the lemmas https://mathstodon.xyz/@tao/111451397742229028 70 comments 29/11/2023 math
• Tim Gowers, Ben Green, Freddie Manners and Terence Tao uploaded the paper arXiv:2311.05762 proving the Polynomial Freiman-Ruzsa conjecture. Tao is planning to formalize this paper in Lean https://mathstodon.xyz/@tao/111404473592619929 26 comments 14/11/2023 math
• Terence Tao is formalizing his recent paper in Lean. While working on this, he discovered a small but nontrivial mistake in his proof. https://mathstodon.xyz/@tao/111287749336059662 71 comments 25/10/2023 math
• Terence Tao on using GPT4 to help with math https://mathstodon.xyz/@tao/110601051375142142 125 comments 3/7/2023 math
• Ocean acidification will lead to a regime shift away from the key carbonate-based species and diatoms below pH 7.95 which will be reached by 2045. https://mathstodon.xyz/@maxpool/110615700703383281 11 comments 27/6/2023 climate
• Breakthrough in Ramsey Theory: The long-standing upper bound has been reduced to (4−ε)ⁿ. https://mathstodon.xyz/@tao/110034365802889269 67 comments 16/3/2023 math