1. Forum
  2. USENET
  3. sci.physics

  • eGovernements will need AGI to survive

    From Mild Shock@janburse@fastmail.fm to sci.physics on Tue Jul 15 19:03:58 2025
    From Newsgroup: sci.physics

    Hi,

    Maybe AGI should take over proving.
    Just take the humans out of the loop
    of any programming, it leads to nowhere.

    Bye

    Julio Di Egidio schrieb:
    But we must thank MS for the nail in that coffin, too: they can't
    be satisfied with just a Lean broken by design, they must own the
    whole compartment: only poisoned meatballs for the public...

    -Julio
    --- Synchronet 3.21a-Linux NewsLink 1.2