Topic
abc-conjecture
1 stories related to this topic, newest first.
newscientist.comscience83 days ago
Mathematicians Launch Lean Formalization Efforts for Disputed ABC Conjecture Proof
Two separate efforts are underway to formalize Shinichi Mochizuki's controversial proof of the ABC conjecture in Lean, including a secretive project that has hit a roadblock. The initiatives aim to resolve a long-standing debate in number theory. @NewScientist reported on the dev…
NE