Biobrain cannot digest "Artificial" in AI (Was: Aristotle: The Era of Vibe Proving is Here)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.physics, sci.physics.relativity
Subject	Biobrain cannot digest "Artificial" in AI (Was: Aristotle: The Era of Vibe Proving is Here)
Date	2026-03-09 11:21 +0100
Message-ID	<10om6vt$1f6v0$1@solani.org> (permalink)
References	<10o8n18$15fkp$4@solani.org> <10oh0cl$1b30h$4@solani.org> <10oh0v3$1b3c1$3@solani.org> <10ola78$2trq6$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

Well its called "artificial" intelligence.
Like "atificial" flowers made from plastic
try to share the look and feel of natural flowers,

articial intelligence tries to share the
look and feel of natural intelligence.
AI is not really genetic engineering of

bioforms, right? However, there is a research
frontier sometimes called biocomputing or
synthetic biology AI.

Kunstblumen
https://www.xxxlutz.ch/kunstblumen-C22C8C1

The convergence of AI and synthetic biology: the looming deluge
https://www.nature.com/articles/s44385-025-00021-1

x schrieb:
> On 3/7/26 03:08, Mild Shock wrote:
>> Hi,
>>
>> Resolution of Erd˝os Problem #728
>> We provide a writeup of a resolution of Erd˝os
>> Problem #728; this is the first Erd˝os problem
>> (a problem proposed by Paul Erd˝os which has
>> been collected in the Erd˝os Problems website [3])
>> regarded as fully resolved autonomously by an AI
>> system. The system in question is a combination of
>> GPT-5.2 Pro by OpenAI and Aristotle by Harmonic,
> 
> I guess there is something called 'logic' and then
> there is something called 'semantics'.
> 
> Does it matter if words have meaning?  If the
> answer is no - then of course you can generate
> the look and feel of meaning through 'AI'.
> 
>

Thread

Re: AI solves probl;em Knuth was/is working on! Mild Shock <janburse@fastmail.fm> - 2026-03-04 08:29 +0100
  Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728 (Re: AI solves probl;em Knuth was/is working on!) Mild Shock <janburse@fastmail.fm> - 2026-03-07 11:58 +0100
    Aristotle: The Era of Vibe Proving is Here (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728) Mild Shock <janburse@fastmail.fm> - 2026-03-07 12:08 +0100
      Re: Aristotle: The Era of Vibe Proving is Here (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-07 07:21 -0800
        Re: Aristotle: The Era of Vibe Proving is Here (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-07 07:36 -0800
          Only, three decades in software engineering? Re: Aristotle: The Era of Vibe Proving is Here (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728) Mild Shock <janburse@fastmail.fm> - 2026-03-08 10:00 +0100
            Re: Only, three decades in software engineering? Re: Aristotle: The Era of Vibe Proving is Here (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728) Mild Shock <janburse@fastmail.fm> - 2026-03-08 10:19 +0100
              Amazing Visual Perception, even for ASCII Input [GPT 5.3] (Was: Only, three decades in software engineering?) Mild Shock <janburse@fastmail.fm> - 2026-03-08 10:34 +0100
                Visual Perception helps reading Matrices, Fractions, etc.. (Re: Amazing Visual Perception, even for ASCII Input [GPT 5.3]) Mild Shock <janburse@fastmail.fm> - 2026-03-08 20:21 +0100
      Re: Aristotle: The Era of Vibe Proving is Here (Re: Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728) x <x@x.net> - 2026-03-08 19:10 -0700
        Biobrain cannot digest "Artificial" in AI (Was: Aristotle: The Era of Vibe Proving is Here) Mild Shock <janburse@fastmail.fm> - 2026-03-09 11:21 +0100
          Prolog vendors don't understand Tabling anymore (Re: When Supercomputing discovered BFS) Mild Shock <janburse@fastmail.fm> - 2026-04-04 14:10 +0200
            Buddos Waterloo: Checkpoint McCune (Re: Prolog vendors don't understand Tabling anymore (Re: When Supercomputing discovered BFS) Mild Shock <janburse@fastmail.fm> - 2026-05-10 16:20 +0200
              Could ISAMORE anti-unification help? (Re: Buddos Waterloo: Checkpoint McCune) Mild Shock <janburse@fastmail.fm> - 2026-05-10 16:48 +0200

csiph-web