The original post: /r/cryptocurrency by /u/Kilian_Tau on 2024-03-22 09:29:30.

Greetings, r/Cryptocurrency community!

We’re thrilled to announce that the Tau Net team will be hosting an AMA session right here on March 25th at 6pm UTC. This is your chance to dive deep into the innovative world of Tau Net & Agoras ($AGRS), a project at the forefront of reshaping how we conceive software development and decentralized AI.

1500 USDT Giveaway

To make this AMA extra special, we’re giving away 1500 USDT to the top 15 questions (100 USDT each). Share your most insightful, curious, or inspiring questions for a chance to win.

Who We Are

We are Tau (www.tau.net), a ten year old software company pioneering logical AI software development. We’ve developed a novel formal specification language, called Tau Language, intended for precise and accurate development of mission critical systems and complex software. Our novel use of formal specification enables correct-by-construction software development, thereby eliminating many of the problems that software development and machine learning AI still face, e.g. bugs, traditional testing costs, hefty maintenance, AI hallucination and many technical barriers to participation in development, ultimately enabling anyone to be a developer.

What is Tau Net

Tau Net is a decentralized blockchain network fully controlled, governed and developed by its entire user base in a sound manner. By allowing all users to write information in its system e.g. human knowledge, personal opinions and desired behavior for the system to function in logical sentences that work as formal specifications, these sentences are directly executable and thereby function as working software. Tau Net logically reasons over the collective requirements given by its users and detects the agreement on how they want it to function, and puts its own next version as the next block in its blockchain, evolving from block to block, resulting in rapid collaborative development.

Agoras: Currency of Tau

Agoras is the currency of Tau Net. $AGRS pioneers in facilitating the exchange of knowledge, computational assets, and derivatives within the Tau Net ecosystem. Uniquely, $AGRS stands as the world’s first token with user-controlled tokenomics. Users describe in logical sentences how they want $AGRS to be like and Tau Net automatically detects and implements the agreement as executable software, empowers Tau Net’s users to effortlessly modify the tokenomics, simply by voicing their desired specification.

What are our breakthroughs?

NVIDIA’s CEO shares a vision similar to our future of Software and AI (https://x.com/Carnage4Life/status/1761483377365152234?s=20).

Tau Net introduces the concept of “Software as Sentences.” This is a new method of developing software, utilizing executable formal specifications, different from code and typical machine learning e.g. ChatGPT. It enables users to describe how they want the network to be like in logical sentences. These logical sentences are processed and understood by the network and directly executable as software, accurate according to the description. Agoras ($AGRS) leverages this technology to allow user-controlled tokenomics, and a decentralized marketplace for knowledge, derivatives, and computational resources.

Redefining AI: Logic-based AI vs. ML-based AI

Today’s most popular AI applications (ChatGPT, Bard, etc) rely on machine learning, a probabilistic approach which is unable to guarantee accurate results. Contrarily, Tau Net employs logic-based AI, thereby being able to handle logical reasoning and deduce new facts from given knowledge, all while guaranteeing that the result is completely accurate according to knowledge provided. In addition, Tau Net is also able to explain to the user how it arrived at a result. Therefore, Tau Net is superior in its reasoning capabilities compared to machine learning based alternatives. By offering formal proofs of correctness, it addresses a pivotal challenge in the AI domain achieving absolute certainty in outcomes.

User-Controlled Software and AI Governance

On Tau Net, users are granted unprecedented control over the network. Tau Net provides an effective solution to the AI alignment problem by enabling users to define rules or embed regulations directly within its software. These rules are adhered to with proof, even after any future updates. It possesses the unique capability to automatically reject any attempts at tampering with its software, especially if such attempts aim to introduce undesired behavior. For instance, if the command “Never send private data over the network” is embedded, Tau Net will consistently honor this rule, automatically rejecting any future updates that contravene it. This level of software integrity and compliance is unparalleled in the technology domain and important to ensure system integrity.

Unlocking AGI: Collective Intelligence and Combined Brainpower on Tau Net

On Tau Net, collective intelligence emerges as users input their knowledge via descriptions in logical sentences enabled by Tau Language. Tau Net is able to reason over given knowledge, as well as combining knowledge and thereby deducing new enlightening facts and groundbreaking discoveries. Every piece of knowledge becomes maximally useful, lying dormant until connected with another fact, potentially yielding solutions to some of the world’s biggest problems. This synergy propels Tau Net on the fastest path towards realizing AGI, marking a pivotal shift in how we harness and leverage collective intelligence for humanity’s betterment. Furthermore, this paradigm facilitates a knowledge market to trade and connect knowledge and brain power using $AGRS.

Conclusion

While many blockchain initiatives, such as Bitcoin, proclaim decentralization, they operate under centralized development teams. Contrarily, Tau Net may be described as a decentralized, expansive reasoning system, that empowers users to contribute information that simultaneously serves as software, which Tau Net is able process and integrate into subsequent versions. This unique approach fosters mass collective intelligence, enabling rapid, robust collaborative development, and truly decentralizes the development process in a coherent manner.

Upcoming Milestones: Tau Language & Testnet

We’re on the brink of releasing the Tau Language and Testnet, major milestones that will significantly enhance our ecosystem’s capabilities. These developments are a testament to our commitment to innovation and our vision for a decentralized future.

Join Us: AMA Details and Resources

Mark your calendars for March 25th at 6pm UTC and prepare your questions. Whether you’re curious about the technical aspects, the vision behind Tau Net, or how you can get involved, we’re here to answer.

To get a head start, check out these valuable resources and join our community on social media:

We’re excited to engage with the r/Cryptocurrency community and share our journey towards revolutionizing AI and software development.

See you at the AMA!