Dark Math Factories Interpret the Infinite! (Re: Hyperspectral Measurements for Inter-Calibration)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.physics.relativity, sci.physics
Subject	Dark Math Factories Interpret the Infinite! (Re: Hyperspectral Measurements for Inter-Calibration)
Date	2026-10-02 18:41 +0200
Message-ID	<119omsb$pkou$4@solani.org> (permalink)
References	(11 earlier) <Cmmdnf68yMJEg7X3nZ2dnZfqnPidnZ2d@giganews.com> <PTKdndjUXso-vLX3nZ2dnZfqnPudnZ2d@giganews.com> <-nGdnaezj6g3vrX3nZ2dnZfqnPudnZ2d@giganews.com> <bIycnWjd8J1CuLX3nZ2dnZfqnPadnZ2d@giganews.com> <11475ju$fsrh$1@solani.org>

Cross-posted to 2 groups.

Show all headers | View raw

Hi,

OpenAI has announced enhancing their Math Swarms
by an interpretability accelerator prompt recently
discovered in a Terrence Tao workshop.

So they are now takling:

Mathematician W. Hugh Woodin Explains Continuum Hypothesis
https://www.youtube.com/watch?v=ZC7wglkBWMM

Infinite fun with infinite worlds
https://ethz.ch/en/news-and-events/eth-news/news/2020/08/infinite-fun-with-the-infinite-worlds.html

A partial Lean 4 formalization is already in
the making. But the hurdles are high. Some
speaker of the effort said:

The computer might find a new tamagochi knottheory
lemma, which will then allow SpaceX to fly through
wormholes, but the hurdle will be hight that

a single human mathematician mind might
ingest, understand and interpret it.

Bye

Mild Shock schrieb:
> Hi,
>
> Hyperspectral measurements for inter-calibration,
> reached a significant milestone this summer.
>
> The naval observatory only uses fidget spinners
> to measure time, so forget Colorado.
>
> Bye
>
> Ross Finlayson schrieb:
>  >
>  > So, there's at least three accounts of what can define "measurement of
>  > time", in the micro, meso, and macro.
>  >
>  > Then these days pretty much the world relies on "the naval observatory
>  > in Colorado" if not so much "the clock tower in Greenwich", as with
>  > regards to ye olde UTC, CUT, "Zulu", and so on, time.
>  >
>  > About relativity theory and "measuring rods and clocks", then, it's
>  > similar that "metric and norm" for "length and distance" also has
>  > about the Planckian what are "iota-values" as it would be, or, "Pauli
>  > Plancks", or "Dirac's Pauli Plancks", of measuring space, vis-a-vis,
>  > measuring time.
>  >
>  >
>  > So, there are at least three accounts of what defines measuring time,
>  > and at least three accounts of what defines measuring space.
>  >
>  >
>  > Then, since relativity theory is defined by what does that,
>  > it has the various ways, to so fulfill doing that.
>  >
>  >
>  > Yeah, I know, most "professional physicists" only have one of those
>  > on their little note-card with which they passed graduate school.
>
> Mild Shock schrieb:
>> Hi,
>>
>> Ross Finlayson schrieb:
>>  > Or shaves pennies.
>>
>>  >>> X-Machines Virtual Machine (XVM™) is a neurosymbolic virtual AI
>>  >>> processor which combines neural processes with symbolic reasoning.
>>  >>> https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe
>>
>> Cost/hour: $200,000.00
>>
>> LoL
>>
>> Bye
>>
>> P.S.: If it could do some quant trading magic, one would
>> possibly pay so much. But Logtalk is simply too lame:
>>
>> Version release notes
>> XVM Engine v10.2.4 is the full engine capable of running
>> all XVM and Logtalk programs, excluding for logtalk tools.
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> The 9122171.18175435 is a little offending, what if one
>>> keeps a federal secret after the 6 fraction digit?
>>>
>>> Bye
>>>
>>> Mild Shock schrieb:
>>>> Hi,
>>>>
>>>> Ok, leaving the beaten path of my Prolog system
>>>> probing, and look at some newer beast.
>>>>
>>>> This looks bad:
>>>>
>>>> ?- format('~6f', [pi**14]), nl.
>>>> 9122171.18175435
>>>>
>>>> Expected result:
>>>>
>>>> ?- format('~6f', [pi**14]), nl.
>>>> 9122171.181754
>>>>
>>>> Bye
>>>>
>>>> BTW: Tested using this test tester:
>>>>
>>>> X-Machines Virtual Machine (XVM™) is a neurosymbolic virtual AI 
processor which combines neural processes with symbolic reasoning.
>>>> https://aws.amazon.com/marketplace/pp/prodview-6luxq22pgmehe
>>>>
>>>> Mild Shock schrieb:
>>>>  >>> See also:
>>>>  >>> https://prolog-lang.org/ImprovementsForum/0110-format.html
>>>>
>>>>
>>>
>>
>

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
                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