Math is the premier AI Victim [Billions of $USD later] (Re: So it was a race against Buzzard. Well done! [Langlands FML and SML])

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.physics.relativity, sci.physics
Subject	Math is the premier AI Victim [Billions of $USD later] (Re: So it was a race against Buzzard. Well done! [Langlands FML and SML])
Date	2026-10-08 13:12 +0200
Message-ID	<11a7trm$11os2$4@solani.org> (permalink)
References	(13 earlier) <-nGdnaezj6g3vrX3nZ2dnZfqnPudnZ2d@giganews.com> <bIycnWjd8J1CuLX3nZ2dnZfqnPadnZ2d@giganews.com> <11475ju$fsrh$1@solani.org> <119omsb$pkou$4@solani.org> <119pfcm$nbsg$3@solani.org>

Cross-posted to 2 groups.

Show all headers | View raw

Hi,

How it started:

The Experts Were Wrong About AI. Again.
Kapitel 3: The history of underestimation
https://www.youtube.com/watch?v=xdwFncdu8t0

How its going:

OpenAI hat hunderte mathematische Beweise veröffentlicht
DorFuchs analysiert die neuen mathematischen Forschungsbeiträge
https://www.youtube.com/watch?v=6EawyShKuCY

BTW: Its 722 manuscripts in 372 families.

Bye

Mild Shock schrieb:
 > Hi,
 >
 > There's a larger project called FALSE (Formalising
 > Arithmetic in the Lean Software Environment)
 > explicitly aimed at "making progress towards
 >   formalising the Langlands program" . And a
 >
 > Twitter thread claims Claude autoformalized
 > the Fermat proof "in just 11 days," with Kevin
 > Buzzard now wanting to formalize the Langlands
 > program because he's "concerned it might
 > contain subtle errors"
 >
 > Now look at this:
 >
 > https://github.com/fukubillueda-web/epsilon_FML
 >
 > https://github.com/fukubillueda-web/epsilon_SML
 >
 > According to the related arvix paper:
 >
 > So the provenance chain is: Dwork (attributed,
 > unpublished) → Langlands (used it) → Lakkis (partial
 > proof, sign issue) → Ueda (completes it, 2026). That's
 > the "mixtape" you're looking for — the mathematical
 > content passed through at least three hands before
 > Ueda's Lean formalization.
 >
 > And then: "OpenAI ChatGPT was used extensively in
 > the development of this proof." The paper says ChatGPT
 > was used "to check calculations and compare them with
 > the arguments of Dwork, Langlands, and Lakkis, and
 > detect inconsistencies in intermediate versions of
 > the proof."
 >
 > The author "checked the final mathematical
 > arguments and assumes responsibility."
 >
 > Bye

Thread

Nobody understands relativity Julio Di Egidio <julio@diegidio.name> - 2026-06-06 12:59 +0200
  Re: Nobody understands relativity Python <python@cccp.invalid> - 2026-06-06 18:07 +0000
  Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-06 20:19 +0200
    Re: Nobody understands relativity Julio Di Egidio <julio@diegidio.name> - 2026-06-06 21:23 +0200
      Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-06 16:57 -0700
      Re: Nobody understands relativity nospam@de-ster.demon.nl (J. J. Lodder) - 2026-06-07 10:54 +0200
        Re: Nobody understands relativity Julio Di Egidio <julio@diegidio.name> - 2026-06-07 13:13 +0200
          Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 08:25 -0700
            Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 09:06 -0700
              Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 09:21 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 09:50 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-07 09:59 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-08 08:46 -0700
                Re: Nobody understands relativity nospam@de-ster.demon.nl (J. J. Lodder) - 2026-06-09 13:41 +0200
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:15 -0700
      Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-07 13:30 +0200
        Re: Nobody understands relativity Julio Di Egidio <julio@diegidio.name> - 2026-06-07 13:37 +0200
          Re: Nobody understands relativity Python <python@cccp.invalid> - 2026-06-07 11:40 +0000
          Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-07 13:58 +0200
            Re: Nobody understands relativity Thomas Heger <ttt_heg@web.de> - 2026-06-08 10:17 +0200
        Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-07 21:43 -0700
        Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-07 21:48 -0700
          Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-08 07:41 +0200
            Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-08 09:50 +0200
              Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-08 10:46 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-08 19:16 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-08 19:42 +0200
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-08 16:54 -0700
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 07:34 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 10:59 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 11:06 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 20:22 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 20:55 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 10:32 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 11:00 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 20:56 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 21:01 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 21:46 +0200
                Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 22:03 +0200
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:10 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:22 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:31 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 07:40 -0700
                Hyperspectral Measurements for Inter-Calibration (Was: Nobody understands relativity) Mild Shock <janburse@fastmail.fm> - 2026-07-27 10:41 +0200
                Re: Hyperspectral Measurements for Inter-Calibration (Was: Nobody understands relativity) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 01:45 -0700
                Forget your Sputnik Commodore C64 with 8088 (Was: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:26 +0200
                Forget your Sputnik Commodore C64 with 8088 [Logic Tiling] (Was: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:30 +0200
                Train yourself to become a nosomatic AI chirurgeon (Re: Forget your Sputnik Commodore C64 with 8088 [Logic Tiling]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 11:37 +0200
                The future Numa Brains will be gorgeous (Re: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-25 19:12 +0200
                Re: The future Numa Brains will be gorgeous (Re: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-28 14:15 +0200
                Estimating P(doom E-graphs) to < 10% (Was: The future Numa Brains will be gorgeous) Mild Shock <janburse@fastmail.fm> - 2026-09-28 14:15 +0200
                Re: Hyperspectral Measurements for Inter-Calibration (Was: Nobody understands relativity) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 07:13 -0700
                Brova you enjoy made up nonsense? [Einstein tech cult] (Was: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:07 +0200
                Re: Hyperspectral Measurements for Inter-Calibration (Was: Nobody understands relativity) Mild Shock <janburse@fastmail.fm> - 2026-10-02 18:41 +0200
                Dark Math Factories Interpret the Infinite! (Re: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-10-02 18:41 +0200
                So it was a race against Buzzard. Well done! [Langlands FML and SML] (Was: Dark Math Factories Interpret the Infinite!) Mild Shock <janburse@fastmail.fm> - 2026-10-03 01:40 +0200
                Math is the premier AI Victim [Billions of $USD later] (Re: So it was a race against Buzzard. Well done! [Langlands FML and SML]) Mild Shock <janburse@fastmail.fm> - 2026-10-08 13:12 +0200
                Superintelligenz ist auch F.U.D. (OAI:The-irrationality-exponent-of-pi-is-2-September-24-2026) Mild Shock <janburse@fastmail.fm> - 2026-10-10 00:35 +0200
                Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-09 21:05 +0200
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 08:39 -0700
                Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-10 14:53 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 18:20 -0700
                Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-10 20:48 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-12 08:13 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-12 08:42 -0700
                Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-10 22:54 -0700
                Re: Nobody understands relativity The Starmaker <starmaker@ix.netcom.com> - 2026-06-12 13:39 -0700
                Re: Nobody understands relativity Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-14 09:05 -0700
    Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-06 21:24 +0200
      Re: Nobody understands relativity "Paul B. Andersen" <paul.b.andersen@paulba.no> - 2026-06-07 13:45 +0200
        Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-07 15:14 +0200
  Re: Nobody understands relativity nospam@de-ster.demon.nl (J. J. Lodder) - 2026-06-07 10:54 +0200
  Re: Nobody understands relativity marika <marika5000@gmail.com> - 2026-07-02 00:09 +0000

csiph-web