RecodeX 重构消息,一家新AI数学初创公司利用人工智能技术解决了四个先前未解的数学难题。