Eric Schmidt Booed for AI Enthusiasm

Vitalik Buterin, co-founder of Ethereum, believes that AI-assisted formal verification can make cryptocurrency systems more secure. He argues that combining AI-generated code with mathematically verified software can create more secure systems, which is critical for securing crypto infrastructure.

Buterin's views are echoed in the development of tools like Lyrie, an open-source autonomous pentesting agent that uses AI to simulate cyber attacks and identify vulnerabilities. Lyrie's latest version, 3.1.0, includes features like memory encryption and proof-of-concept generators.

In other AI-related news, UNESCO is expanding its online course on AI and digital citizenship, introducing a new English-language version alongside its existing Spanish programme. The course covers topics like digital citizenship, disinformation, and online participation.

Agentic AI is being used to optimize clinical research workflows, reducing administrative burden and improving the speed of research. Health Universe's AI agents are being used to automate tasks like document transmission and receipt.

Meanwhile, former Google CEO Eric Schmidt was booed by University of Arizona graduates for encouraging them to embrace AI. This incident highlights the disconnect between older generations' enthusiasm for AI and younger generations' skepticism.

Buddy.ai, an AI-powered language learning platform for kids, has been using speech recognition and conversational AI to help children learn languages. Its speech recognizer has been trained on tens of thousands of hours of real children's voices.

In robotics, Figure AI staged a 10-hour livestream competition between a human and a robot on sorting tasks. The human narrowly won the competition, detecting and sorting 12,924 packages in 2.79 seconds per package.

Lastly, Simkhai is launching an AI-powered e-commerce site, Simkhai.ai, designed to bring its in-store styling experience online. The site uses AI to provide personalized styling advice and help shoppers find products.

Key Takeaways

['Vitalik Buterin believes AI-assisted formal verification can make cryptocurrency systems more secure.', 'Lyrie, an open-source autonomous pentesting agent, has reached version 3.1.0 with features like memory encryption and proof-of-concept generators.', 'UNESCO is expanding its online course on AI and digital citizenship to include an English-language version.', 'Agentic AI is being used to optimize clinical research workflows, reducing administrative burden and improving research speed.', 'Former Google CEO Eric Schmidt was booed by University of Arizona graduates for encouraging AI adoption.', 'Buddy.ai uses speech recognition and conversational AI to help kids learn languages.', 'Figure AI robot competed with a human in a sorting task, detecting and sorting 12,732 packages.', 'Simkhai is launching an AI-powered e-commerce site, Simkhai.ai, for personalized styling advice.', 'The AI industry summit hosted by SyracuseCoE explored AI applications in building science.', "Eric Schmidt's incident highlights the disconnect between older generations' AI enthusiasm and younger generations' skepticism."]

Vitalik Buterin: AI Can Make Crypto More Secure

Ethereum co-founder Vitalik Buterin believes AI-assisted formal verification can make cryptocurrency systems more secure. He argues that as AI makes hacking and bug discovery easier, combining AI-generated code with mathematically verified software can create more secure systems. This approach could be critical for securing crypto infrastructure, including Ethereum infrastructure, zero-knowledge proof systems, and post-quantum cryptography.

AI-Driven Exploits Reshape Crypto Security

Vitalik Buterin warns that advances in AI could dramatically change how crypto systems are attacked and defended. He argues that the industry may need to move toward mathematically verified software to protect critical infrastructure. Buterin suggests that AI-assisted coding, combined with formal verification tools, could eventually produce software more secure than what humans alone can currently build.

Lyrie: Open-Source Autonomous Pentesting Agent

Lyrie is an open-source autonomous pentesting agent that has reached version 3.1.0. The tool uses AI to simulate cyber attacks and identify vulnerabilities. It includes features like memory encryption, proof-of-concept generators, and deep scanners for Rust analysis and AI-driven code review.

UNESCO Expands Online Course on AI and Digital Citizenship

UNESCO is expanding its online course on AI and digital citizenship, introducing a new English-language version alongside its existing Spanish programme. The course covers topics like digital citizenship, disinformation, and online participation, and includes modules on algorithms, AI in education, and the role of digital systems in communication and public discourse.

Agentic AI Optimizes Clinical Research Workflows

SyracuseCoE Hosts AI Industry Summit

The SyracuseCoE hosted an AI industry summit to explore the role of AI in building science. The summit featured expert panelists from industry, academia, and government agencies, discussing AI applications in smart buildings, building optimization, and community resilience.

Buddy.ai: AI-Powered Language Learning for Kids

Buddy.ai is an AI-powered language learning platform for kids that predates ChatGPT. The platform uses speech recognition and conversational AI to help children learn languages. Buddy.ai's speech recognizer has been trained on tens of thousands of hours of real children's voices and outperforms Google's general-purpose speech recognition on children's voices.

Gen Z Not Impressed with AI Lectures

Former Google CEO Eric Schmidt was booed by University of Arizona graduates for encouraging them to embrace AI. The incident highlights the disconnect between older generations' enthusiasm for AI and younger generations' skepticism.

Figure AI Robot Beats Human in Sorting Task

Figure AI staged a 10-hour livestream competition between a human and a robot on sorting tasks. The human narrowly won the competition, detecting and sorting 12,924 packages in 2.79 seconds per package, while the robot detected and sorted 12,732 packages in 2.83 seconds per package.

Simkhai Launches AI-Powered E-Commerce Site

Simkhai is launching an AI-powered e-commerce site, Simkhai.ai, designed to bring its in-store styling experience online. The site uses AI to provide personalized styling advice and help shoppers find products.