OpenAI has released 722 math papers "covering 372 result families" of previously unsolved problems in mathematics. Crucially not all of these have computer-verifiable proofs in Lean.

github.com/openai/math/...

#solidstatelife #ai #genai #codingai #mathematics #proofs #lean

"DHH has gone completely off the rails...".

In order to get the double entendre, you have to know that David Heinemeier Hansson (DHH) is the creator of the Ruby On Rails framework for the Ruby programming language.

www.youtube.com/watch?v=OuNK...

#ai #llms #codingai #rubyonrails #rust

DeepSeek V4.1 Flash is FREE… even through the API. 🤯

You get a massive 1M token context window and performance that can compete with frontier models.

I’ve already used it to build games, websites, and working apps FAST.

#DeepSeek #DeepSeekV4 #AI #CodingAI #AITools

Quoth Linus Torvalds:

"And this was a debug session from hell, enormously helped by an AI doing much of the grunt-work."

www.phoronix.com/news/Linus-T...

#solidstatelife #ai #genai #llms #codingai #agenticai #linux