Tysons

Discussion is growing around whether artificial intelligence has cracked one of mathematics' hardest open problems. The claim, raised in a conversation between Neil deGrasse Tyson and mathematicians on StarTalk, is fueling debate about how far AI reasoning has come and whether machine-assisted proofs can be trusted to settle questions that have resisted human mathematicians for decades.