↓ Skip to main content
alper.nl

·42 words
English Software Engineering Maths

Dan Abramov’s account of how he used LLMs to do novel math is interesting and revealing. It is possible to deploy these tools to do new and original things, but right now it takes a lot of time, persistence and expertise.

https://overreacted.io/how-i-vibed-a-proof-of-conways-conjecture/

Alper Cugun
Author
Alper Cugun

Related

·34 words
English Maths Software Engineering
After the way OpenAI behaved here with this math proof, I don’t see how anybody would trust them with secret information. It feels like we haven’t seen the last of this issue yet.

·104 words
English Software Engineering Maths
“My expectation is surely in 20 years we are going to see AI tools generating mathematics that in many measurable ways are better than every human mathematician,” Litt said. “I would be shocked if that doesn’t happen.”

·40 words
English Software Engineering Maths
“This amazing snippet of code was languishing in the docs of dead software, which in turn the original formula was scrawled away in a math textbook from the 60s.”