just got a tentative confirmation from a mathematician that i was able to get a genuinely novel and interesting mathema…
By dan
just got a tentative confirmation from a mathematician that i was able to get a genuinely novel and interesting mathematical result in a niche area (generalized power series and omnific integers Oz). the actual proof is 100% AI but it took me shepherding it for a month (it did not one-shot at all)