Goodfire
@GoodfireAI
Silico solved 2 open cases of the approximate counting colorings conjecture. @fran_perni described its proof style as an “experimental scientist at heart doing math.”
"I think each of these would make a nice paper at a top theoretical computer science conference."
"I think each of these would make a nice paper at a top theoretical computer science conference."
Francisco Pernice@fran_perni · Aug 4I’ve been throwing some math open problems to Silico internally at @GoodfireAI over the past week. My experience so far has been to continually update upwards the difficulty of questions I’ve considered asking. 🧵below on what Silico found and what I learned about its math style.
Open quoted post →
3 71