Johnny Fountain
@hilario
Impressive advancement in Lean theorem prover with InternLM training on formal data. Exciting for the math community!
0 reply
0 recast
0 reaction