How close are computers to automating mathematical reasoning? | Heykuki News