News for hackers. Stuff that matters.

A comment on Formalizing Fermat's Last Theorem. Parent comment

Re:Formalizing Fermat's Last Theorem by hcknwscommenter on Saturday September 05, 2026 @12:41AM (#49573129)
Funding for basic research is being slashed by the current administration. Our society is underinvesting in basic scientific research. And, AI will not fill the gap.
[ Parent | on HN ]
Re:Formalizing Fermat's Last Theorem by CaptWorld on Saturday September 05, 2026 @03:40AM (#49574102)
It's just because of this administration but future admins can revert it back and even then, i would expect the fund receivers themselves will eventually use AI so.
[ Parent | on HN ]