https://x.com/getjonwithit/status/2035052237777486024 - Bull doze vs Nautilus machine in AI autoformalization
Post a Comment
No comments:
Post a Comment