Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > sci.physics.relativity > #675926
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | sci.physics.relativity, sci.physics |
| Subject | Math AI Vegans hate the Druids Cauldron [MakazhanAlpamys / Soup] (Re: So it was a race against Buzzard. Well done!) |
| Date | 2026-11-11 00:28 +0100 |
| Message-ID | <11d09ah$1bmkv$1@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.
Hi,
How it started,
Mathematics of the Future
5.6 AI-vegan mathematicians
https://math.mit.edu/~etingof/futuremath.pdf
How its going:
Soup Layer Streaming for LLM fine-tuning
#4 Repository of the Day
https://github.com/MakazhanAlpamys/Soup
I fear one or two kids might teach it
math (for example via Sutskever/Megill
approach) and soon become new Einsteins,
developing wormhole warpspeed math.
Have Fun
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
>
> Mild Shock schrieb:
>> 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
>>>>>>
>>>>>>
>>>>>
>>>>
>>>
>>
>
Back to sci.physics.relativity | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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 marika <marika5000@gmail.com> - 2026-06-14 05:01 +0000
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 21:27 +0200
Re: Nobody understands relativity Maciej Woźniak <mlwozniak@wp.pl> - 2026-06-09 21:37 +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
Homework: Game Engine in WebGPU (Was: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-08-03 02:05 +0200
Re: Homework: Game Engine in WebGPU (Was: Train yourself to become a nosomatic AI chirurgeon) Piotr Agamirov <ppp@togit.ru> - 2026-08-03 12:05 +0000
Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-08-03 18:18 +0200
But how can you deploy, when its ROM? (Re: Johnny Depp prevention [Windows 11 etc...]) Mild Shock <janburse@fastmail.fm> - 2026-08-03 18:22 +0200
Re: Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-04 00:45 +0800
Re: Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Bayard Djabrailov <yjbob@aodorbv.ru> - 2026-08-03 17:28 +0000
Re: Johnny Depp prevention [Windows 11 etc...] (Re: Homework: Game Engine in WebGPU) Thomas Heger <ttt_heg@web.de> - 2026-08-07 08:17 +0200
Norton Commander and Norton Antivirus again? [AI Laptop Memory] (Was: Johnny Depp prevention [Windows 11 etc...]) Mild Shock <janburse@fastmail.fm> - 2026-08-07 14:13 +0200
New addition to π-WAM is π-WAM Assembly (Re: Johnny Depp prevention [Windows 11 etc...]) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:47 +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
Nosomatic AI Chirurgeon: RSI of Use/Mention? (Re: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-10-24 12:57 +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
NVIDIA Einstein and Q8.24 RGB Values [Earth and Star Gazers] (Was: Brova you enjoy made up nonsense? [Einstein tech cult]) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:30 +0200
Just lookup orbital AI and SpaceX (Re: NVIDIA Einstein and Q8.24 RGB Values) Mild Shock <janburse@fastmail.fm> - 2026-07-27 17:39 +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
Re: Dark Math Factories Interpret the Infinite! (Re: Hyperspectral Measurements for Inter-Calibration) Nolan Bairamkulov <noor@iloin.ru> - 2026-10-02 18:49 +0000
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
Re: Math is the premier AI Victim [Billions of $USD later] (Re: So it was a race against Buzzard. Well done! [Langlands FML and SML]) Gay Banana <ivcoc@sdrde.ru> - 2026-10-08 15:13 +0000
Re: Math is the premier AI Victim [Billions of $USD later] (Re: So it was a race against Buzzard. Well done! [Langlands FML and SML]) Gay Banana <bn@nrud.ru> - 2026-10-08 15:23 +0000
Re: Math is the premier AI Victim [Billions of $USD later] (Re: So it was a race against Buzzard. Well done! [Langlands FML and SML]) Gay Banana <laasfhs@aahfalfh.ru> - 2026-10-08 15:34 +0000
Lean 4: That golden era of logic is gone (Re: So it was a race against Buzzard. Well done!) Mild Shock <janburse@fastmail.fm> - 2026-10-15 12:11 +0200
Math AI Vegans hate the Druids Cauldron [MakazhanAlpamys / Soup] (Re: So it was a race against Buzzard. Well done!) Mild Shock <janburse@fastmail.fm> - 2026-11-11 00:28 +0100
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
Avoiding logical strength in real analysis [Lattice Games] (Re: Hyperspectral Measurements for Inter-Calibration) Mild Shock <janburse@fastmail.fm> - 2026-10-15 17:37 +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 Auburn Morandi <bia@auuur.it> - 2026-06-07 15:39 +0000
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