1. Forum
  2. Usenet
  3. SCI.MATH

  • eGovernements will need AGI to survive

    From Mild Shock@21:1/5 to All on Tue Jul 15 19:03:35 2025
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Bryant Szczepanski@21:1/5 to Mild Shock on Tue Jul 15 20:45:52 2025
    XPost: sci.physics.relativity

    Mild Shock wrote:

    Hi,

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

    Bye

    i shit on switzerland, you are gypsies. You don't clean up your place

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Julio Di Egidio@21:1/5 to Mild Shock on Tue Jul 15 23:01:17 2025
    On 15/07/2025 19:03, Mild Shock wrote:

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

    Nazi-retarded cunts polluting each and every pond:
    not even good for re-education...

    *Plonk*

    -Julio

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)