运筹学领域的一家公司，技术上应该很厉害