Futurology

1930 readers
167 users here now

founded 2 years ago
MODERATORS
351
352
353
354
 
 

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.

355
356
357
358
359
360
361
362
363
364
 
 

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.

365
366
367
368
369
370
371
372
373
374
375
view more: ‹ prev next ›