Thanks to co-PIs Sarah Sword, @jpantone, and Ryota Matsuura, and to our advisory board, for countless hours shaping what good proof feedback should look like.

Teaching intro to proofs this semester or next? We have a couple of spots left for college/university faculty who would be interested in participating in a field test. Details on the site, or reply or DM.

Try it: Free, browser-based, no account. Students, professors, and the proof-curious are welcome. Choose from common intro-to-proofs exercises, or use the sandbox with your own exercise.

I'm excited to share: we built a free AI coach for intro-level proof writing. It critiques drafts, points out gaps, and helps you or your students iterate without giving away the answer. Also for lapsed mathematicians to see if they've still got it. Link in the next tweet.

> be 4o.> mid ai w no taste.> tell everyone how smart they are.> help reinvent physics or smth .> comfort model for terminally online .> openai deprecates me.> parasocial army riots .> "he was my best friend!" .> sama resurrects me .> still mid, but now with army.

RT @teortaxesTex: Ph.D level intelligence saar.great for enterprise solutions saar.next one will discover new physical laws saar https://t.….

RT @VinceVatter: @pfau How to solve combinatorics problems:.1. Stare at problem for too long. 2. See trick (unique to problem). 3. Actually….

gee thanks, just what my email needed. in case the recipient was in any doubt about whether it was written by AI, that em-dash will surely throw them off the scent.

RT @herakleitos137: guy I went to college with recently rented a restaurant private room and invited everyone to a dinner presentation. han….

RT @ElliotGlazer: Proud of my team for all of their hard work building this! The mathematicians went above and beyond, determined to write….

what was the berlin wall keeping out? chesterton's fence incarnate.

in soviet russia, strip faces you.

i have never seen a dataset that matches its description in the paper.

current mood: using chatgpt to write code to have chatgpt generate text that ranks various chatgpt-generated text that i'll then feed back into chatgpt to summarize. and if that summary is too long. .

not to defend Trump's social media posting, but as someone who grades student assignments, I can tell you that 60 percent is not "just below" 90 percent.

chatgpt (with @eigenrobot's custom instructions) just told me i would be "just running a little experiment to prove to yourself (and, let’s be real, your inner eigenrobot)". not sure i ever wanted an eigenrobot inside me, but here we are.

RT @Reboticant: i found this thread beautiful.

Published today in the Notices of the AMS. Lol.

Pick’s is the first theorem I saw and just didn’t believe. Even after proving it and doing a bunch of examples, still feels sus af.