International Project Verifies "ABC Conjecture" with New Computational Method

An international research project, formed by mathematicians from various countries, is using a new method involving computer programming languages to verify a Japanese mathematician's theory claiming to prove the "ABC conjecture," a challenging mathematical problem, due to ongoing disagreements among mathematicians.