infurl

ollama and llama3 in AI News

Access to generative artificial intelligence just changed radically and for the better. Until recently our options were to use online services which were potentially very expensive and almost certainly heavily restricted, or to try to use open source models locally which required high end hardware to operate and which produced disappointing and mediocre results at best.

Last year we saw the release of ollama which made it incredibly easy to run just about any large language model locally no matter what platform you're on. You still needed a powerful system but at least you didn't have to learn a lot of obscure methods to use it.

https://ollama.com/

Last month the open source large language model llama3 was released. It has proven to be as capable as models two hundred times its size and is so efficient you can run it on a Raspberry Pi 5 if you want to, though it might take some patience.

I've been experimenting with it and it seems to be as good as any of the models that I have used online. I am running it on a Linux system with 24 cores, 64 GB of RAM, and 16 GB of video RAM. The smaller 8 billion parameter model responds to my queries almost instantly while the larger 70 billion parameter model can take a minute or two. Mostly the results produced by the smaller model are quite good enough.

ivan.moony

Reasoner.js: a framework for generalized theory synthesis in General Project Discussion

the idea

Experimentation with different custom made programming languages related to theorem proving has been one of my interests for a long time. Why theorem proving? Because it seemed like a logical step towards AI. In a meanwhile, deep learning ANNs (artificial neural networks) took over the world, and it could be a good thing. Similarity between an ANN and a theorem prover is that the starting point and ending result are the same in both cases, but the process in between is different. ANN utilizes pretty obscure weighted graph connecting input and output while theorem proving (in cases I'm considering) utilizes potentially human readable set of constructive theorems that need to be combined to connect input to output.

The theorem proving is still an area of my interest, but with addition of one missing link that ANNs seem to do pretty well (or at least in some extent). ANNs use the nowdays-all-present deep learning techniques to automatically form the connections between input and output. Analogously, the link I'm trying to explore is an alternative to deep learning in a form of automated semi-axiom construction. Here, I'm making a distinction between theorem proving and semi-axiom construction. In theorem proving, axioms need to be manually fed into the system to be used in further automated theorem construction. In semi-axiom construction, I'm seeking for a way to automatically construct semi-axioms, with semi-axioms being both axioms or theorems.

Googling around the web about this process (in 2022) gives somewhat rare and specialized results, so the space for a progress may be opened. I believe that appropriate term for the process I'm trying to explore could be "generalized theory synthesis". There are already some achievements on this process in a form of algorithm synthesis, and that is exactly direction I'm trying to head at, only applied also to theorems.

To finally explore the blurry cloud of theory synthesis and to see it in more focused features, the plan would be to fuse a selection of my existing languages, and present them in gradual form under the same language named Tricosm. The language should be applicable to theory synthesis, as well as to algorithm synthesis. In a simple example, from provided data:

input -> output
---------------
    2 -> 4
    4 -> 8
    8 -> 16
   16 -> 32

one of the generated theories (given that we already know how to handle integers and multiplication) would be:

input -> output
---------------
    x -> 2 * x

WriterOfMinds

Project Acuitas in General Project Discussion

Block diagram of Acuitas, the symbolic cognitive architecture:



<<< EDIT >>>
Since this is the post that pops up on the home page every time my thread gets bumped, I'm editing it to drop the most recent block diagram here. The info that was originally in this post, I will move into the second post of the thread.
<<< EDIT >>>

frankinstien

AI controlled F-16, for real! in AI News

Interesting article and the implementation of 1,000 aircraft controlled by AI is the tipping scale. Those nations that can harness AI don't need to sacrifice lives to win wars. Welcome to the game of World Domination, or more like the 1983 movie WarGames: "Shall We Play a Game?"  

Freddy

Haptek rises from the ashes in Haptek

There is something interesting at a redirect from the old Haptek domain!

https://virtyou.com

MikeB

Open AI GPT-4o - audio, vision, text combined reasoning in AI News

GPT-4o (“o” for “omni”) is a step towards much more natural human-computer interaction—it accepts as input any combination of text, audio, and image and generates any combination of text, audio, and image outputs. It can respond to audio inputs in as little as 232 milliseconds, with an average of 320 milliseconds, which is similar to human response time(opens in a new window) in a conversation. It matches GPT-4 Turbo performance on text in English and code, with significant improvement on text in non-English languages, while also being much faster and 50% cheaper in the API. GPT-4o is especially better at vision and audio understanding compared to existing models.

MikeB

Butler In A Box (1983) in General Hardware Talk

This is a fun video about Butler In A Box, sold from 1983-2000.

It was sold as voice recognition hardware (for up to 4 different users) that could respond as a bulter and turn on different electric items in the house. Lamp, TV, etc.

It had a huge price tag and notoriety for two decades in futuristic home wares, but does not have one mention in wikipedia as a standout in AI/voice recognition.

Freddy

The Action Lab - I Broke ChatGPT With This Paradox in Video

8pla.net

Garbage - The World Is Not Enough in Video

frankinstien

Death in complex organisms is deliberate in General Chat

For decades now the issue of aging and eventual death have been topics where some argue death is not something life implements as an adaptation. But looking at Salmon one can see that death in that organism is deliberate as the process is induced after the fish procreates. Well if it's deliberate in Salmon might it also be deliberate in other organisms? The reason this issue has even come up is I have another dog coming to that stage in life where they start to have health issues. Many argue the occurrence of cancer in the aged human population is due to prolonged exposure to carcinogens. If that were the case then why does it happen to dogs and even mice as they get older since they live much shorter lives and therefore are less exposed than humans with respect to time?  

Now I'll introduce the Thymus, it's an organ located in your chest and is responsible for T-cell production, and guess what? It shrinks over time and that shrinkage starts at birth! The less Thymus tissue you have the more vulnerable you are to infectious disease and cancers. The T-cells can detect cancer cells and as the Thymus shrinks it produces fewer T-cells and could get damaged from this shrinkage to produce malformed T-cells.

It would appear that death is deliberate since the Thymus is on an involution path that's genetically controlled. It would appear species have to reproduce frequently enough to cope with their genetic death sentence. So, we can see that life developed this approach as a species adaptation that is reinforced through natural selection. This means the life span of organisms is intrinsic to a species' viability.

Of all the mammals bowhead whales have the longest life span, 200 years! It would be interesting to study the bowhead's Thymus and its genetic differences from other animals including humans. If we can apply genetic tools to the bowhead Thymus, including AI, we might be able to triple human life spans...


https://en.wikipedia.org/wiki/Thymic_involution#:~:text=Under%20certain%20circumstances%2C%20the%20thymus,infections%2Cpregnancy%2C%20and%20malnutrition.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3222953/#:~:text=The%20incidence%20of%20most%20common,immune%20function%2C%20termed%20immune%20senescence.

https://oceanservice.noaa.gov/facts/bowhead.html#:~:text=Scientists%20agree%20that%20the%20bowhead,in%20the%20contemporary%20animal%20kingdom.