Sujet : Looks like they patented ChatGPT style in 2012 (Was: Theodore W. Gray Patent: 2029-01-09 Adjusted expiration)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prologDate : 15. Jun 2025, 03:04:46
Autres entêtes
Message-ID : <102l9nr$qoh6$1@solani.org>
References : 1 2
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.21
Hi,
So they came up with a patent already in 2012:
Programming in a precise syntax using natural language
https://patents.google.com/patent/US9851950B2Is it not ChatGPT because ChatGPT doesn't show some
"precise syntax" interpretation of the NL language input?
Bye
P.S.: Google Gemini gives me:
Q: What is the integral of sin(x)/x from -pi to pi
A: a lot of precise mathML and ultimately:
Therefore, for your original integral: ≈3.7038
Conclusions: Either the patent is ignored,
or they get a penny for every nickel that
Google earns with Gemini Pro.
Mild Shock schrieb:
Hi,
Ok, I am not in a hurry:
> In a method for presenting information,
> an interactive document, for example, may
> be created that includes both an input
> expression and a result generated by
> evaluating the input expression, and where
> the input expression can be selectively hidden.
> https://patents.google.com/patent/US8407580
The fun thing will be the language will be
not Mathematica programming language, which was
inspired by term rewriting, basically a
term rewriting engine without Knuth Bendix
completion. Instead it will be run by the
Prolog programming language. Again a pragmatic
approach to logic without completness.
Isn't that an amazing perspective?
LoL
Bye
Mild Shock schrieb:
Already Mathematica didn't have Run Buttons
in their Notebooks in 1988, just press return:
>
https://www.wolfram.com/notebooks/index.php.de?source=footer
>
Same for creating new cells, if I am not mistaken
and remember well, if one was at the end of a Notebook,
>
again the return key creates a new cell. Also no
Python Jupyter Nonsense, primarily executed at the
>
client side and not create via server roundtips.
>
>