Futurology

3156 readers
7 users here now

founded 2 years ago
MODERATORS
851
852
853
854
855
 
 

Courtesy of Reddit user /u/TheBlueRefinery29

Interesting experimental logical AI has promising implications for AI Safety.

Claiming to have created a language that enables developers to create software and AI that can reason over its own future versions.

Original post: https://x.com/TauLogicAI/status/1841813606154793354

Abstract Summarizing their process and the language tech: https://tau.net/Logical-AI-Software-Specification-Reasoning-GSSOTC.pdf

Full paper: https://tau.net/Theories-and-Applications-of-Boolean-Algebras-0.25.pdf

But the full paper is super long and goes over my head, the abstract is much easier to digest.

856
857
858
859
860
861
862
863
864
865
 
 

Tesla's main competitor is envisioning a bright future for electric vehicles with batteries that feature a solid-state electrolyte, the next frontier in the battle for EV dominance.

866
867
868
869
870
871
872
873
874
875
view more: ‹ prev next ›