Content
@
0 reply
0 recast
0 reaction
ππͺπΎπ‘π‘πΎ
@gm8xx8
some older research from openai in light of alphaproof solving (some) formal math olympiad problems: https://openai.com/index/formal-math/
0 reply
0 recast
2 reactions
