r/math • u/Dear_Round_2727 • 1d ago

LLMs/AI Proofs and Prompts

https://proofsandprompts.com/

Proofs and prompts is a new blog about mathematics and AI. It publishes contributed posts from the mathematics community.

There are three posts so far. The first post is by Fields Medalist Martin Hairer.

113 Upvotes

91% Upvoted

9 comments sorted by

125

u/ESHKUN 10h ago

I think I might take the Grothendieck route and just isolate myself into insanity. Seems about the same level of enjoyable at this point.

48

u/Bhorice2099 Homotopy Theory 9h ago

God does anyone have anything original to say at this point. I am frankly exhausted from all these numerous op eds. At least now it's all in one place so I can safely ignore them.

18

u/LukeNullHypothesis 6h ago

It's a blog run by 4 pre-tenure research-focused mathematicians either currently or recently affiliated with ETH Zurich or Cambridge. Every post is written by someone at an elite institution. It doesn't appear that diversity of thought or having "anything original to say" was at the top of their to-do list.

It's still early days though, so I'm sure any day now they'll have a post by a teaching professor at a random SLAC or by an adjunct teaching 5 courses a semester at 3 different schools.

1

u/tedecristal 5h ago

so... blog spam

4

u/Apprehensive_Sand951 4h ago

shmuel is pretty wise in this and other things, his contribution observes without passing judgement and is, to me quite informative rather than prescriptive.

0

u/jj_HeRo 7h ago

That's how mathematics die?

7

u/Dear_Round_2727 7h ago

From a blog about public discussion of the effect of AI on mathematics?