mathstodon.xyz/@MoritzFirschi…
This was exactly one year ago!
Since then, we've added ~1000 more formalised conjectures, all thanks to our wonderful contributors!
Explore them on our new website: google-deepmind.github.io/formal-conject…
We also just released a paper about it: arxiv.org/abs/2605.13171
mathstodon.xyz Moritz Firsching (@MoritzFirsching@mathstodon.xyz) We just open sourced "Formal Conjectures"! https://leanprover.zulipchat.com/#narrow/channel/113486-announce/topic/Formal.20Conjectures/near/520935379 https://github.com/google-deepmind/formal-conje... This was exactly one year ago!
Since then, we've added ~1000 more formalised conjectures, all thanks to our wonderful contributors!
Explore them on our new website: google-deepmind.github.io/formal-conject…
We also just released a paper about it: arxiv.org/abs/2605.13171
