Johnny Fountain pfp
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