Generative language modeling for automated theorem proving

Leapmotor B03X Orders Open in Europe: A New Benchmark in the Urban Crossover Segment

Leapmotor announces the opening of orders for the all-new B03X in Europe, a global strategic model that marks a new chapter for the brand in the fast-growing compact segment. Designed from the outset for international markets, the B03X combines advanced technology, versatile design and everyday usability, bringing premium electric mobility to ... [continued] The post Leapmotor B03X Orders Open in Europe: A New Benchmark in the Urban Crossover Segment appeared first on CleanTechnica.

IEEE Honors Robotics Pioneer Toshio Fukuda

Toshio Fukuda has been blazing trails for most of his career. He is considered to be one of the most prolific scholars in robotics, writing more than 2,000 research papers and authoring several books on the field. He’s an influential figure thanks to his pioneering work developing biomedical robotic systems, industrial robots, micro-nano robotics, mechatronics, and AI-driven automation.Fukuda launched one of the first robotics conferences, the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). It is still popular almost 40 years later.Toshio FukudaEmployerEgypt-Japan University of Science and Technology, in Alexandria TitleProfessor and vice president of research Member gradeLife Fellow Alma matersWaseda University, in Tokyo; University of Tokyo An IEEE Life Fellow, he is a professor emeritus in the department of micro-nano systems engineering and a visiting professor at Nagoya University, in Japan, where he taught for nearly 25 years. Currently, he is a vice president of research at the Egypt-Japan University of Science and Technology, in Alexandria, Egypt.Within IEEE, Fukuda has held top volunteer positions including the organization’s highest office: He served as IEEE president in 2020, becoming the first person of Asian descent to hold the role.He’s a former program director of Japan’s Moonshot program, which by 2050 intends to develop advanced AI robots.Born in Japan, Fukuda has been recognized by the country for his contributions to science with two of its highest awards: the Medal of Honor with a purple ribbon in 2015 and the Order of the Sacred Treasure in 2022.IEEE honored him with this year’s Richard M. Emberson Award for “distinguished service advancing the technical objectives of IEEE, especially in the area of robotics.” The IEEE Board-level award is sponsored by the IEEE Technical Activities Board. Fukuda received the award on 24 April at a ceremony in New York City.As a former IEEE president who has served as a master of ceremonies at several of the organization’s major award events, Fukuda noted that he is more accustomed to bestowing awards than receiving them.“It’s very interesting to be on the receiving end,” he says.The journey into robotics researchAs a teenager, Fukuda spent his summer breaks teaching himself how to build things including transistor radios and steam engines.“It was very nice to have a hands-on hobby and make these kinds of things myself,” he says. His experimentation led him to study engineering.He earned a bachelor’s degree in engineering in 1971 from Waseda University, in Tokyo. He says one of his professors there—Ichiro Kato, regarded as the father of Japanese robotics research—was a good mentor who made a positive impact.Fukuda’s research interests were robotics and mechatronics, a field that combines robotics, electronics, computer science, and control systems.He went on to earn a master’s degree and a doctorate in science from the University of Tokyo, in 1971 and 1977. During those years, he also attended Yale, where he conducted research on advanced control theory in 1973.He reflects fondly on his time at Yale: “It was a very nice environment and a kind of free-thinking atmosphere. It motivated me to study more.”“IEEE doesn’t care who you are, what you do, what country you are from, or whether you are male or female. IEEE accepts people who have energy and passion.”While at Yale, Fukuda served as an assistant to his advisor—which led him to consider a career in academia, he says, because he enjoyed the freedom that research work afforded him.But he realized that such freedom comes with a price. University researchers are expected to raise the money that funds their work. He compares researchers to small-business owners who have to bring in money to keep their enterprise afloat.That realization led him to select robotics as his field because he intended to develop technologies useful to industry, he says.After earning his doctorate, he returned to Japan in 1977 to work as a research scientist at the government’s Mechanical Engineering Laboratory, later renamed the National Institute of Advanced Industrial Science and Technology, in Tsukuba.“There was a lot of research going on at the lab, including practical robotics and theory,” he says.He left Japan in 1979 to become a visiting research fellow at the University of Stuttgart, in Germany. During his year there, he studied systems, software problems, and related topics.He returned to Japan and was hired as an associate professor of mechanical engineering at the Tokyo University of Science. He conducted research into practical uses for robots by visiting industrial plants. He decided to develop robots that inspect industrial equipment such as those used in assembly plants, oil refineries, and power stations—places that “can be hostile environments for humans,” he says.His work drew interest from chemical, oil, and utility companies.“I got a lot of money from them for this very practical application, which funded my research,” he says, laughing.Developing popular robotic systemsFukuda grew tired of making those robots, he says, so he switched to creating ones for scientific applications. He developed many techniques, but he probably is best known for his modular, cellular robotic systems (CEBOTs), which he introduced in 1985.He has described how CEBOTs work in numerous papers published in the IEEE Xplore Digital Library.The CEBOT system is composed of a number of autonomous robotic cells that stick together like interlocking Lego plastic bricks, he says.Each cell is a fundamental modular unit that has a function. When a simple task is given, the system can analyze it and generate the structure of the cellular manipulator. The cells connect to and detach from each other through connection mechanisms and cooperate mutually, creating complex structures and configurations.“You start developing from the component-wise to the cell-wise to a small functional unit—and then you come up with clusters that make bigger systems. We can make a society of robot beings like that,” he explained in his oral history published on the Engineering and Technology History Wiki. “It’s a distributed robotic system, a self-organized robotic system, and also an evolutionary robotic system.“It’s also a fault-tolerant robot system because if something is wrong, you just remove those things and make a new one. You keep the system working. That’s a great thing.”Today CEBOTs are used for a variety of tasks such as delivering medication in hospitals, assisting with planting crops, and transporting products in distribution centers. Check out IEEE Spectrum’s Robots Guide for news from the world of robotics.In 1989 Fukuda joined Nagoya University as a professor of mechanical engineering and micro-nano systems engineering. During his 24-year career there, he was director of the university’s Center for Micro-Nano Mechatronics. He developed a long list of technologies at the university, including many for medical applications. He also conducted groundbreaking research into intelligent robotic systems and micro- and nano-robotics.Another technology he is known for is brachiation robots, which he helped develop in 1988. He calls them monkey robots because they’re based on the pendulum-like movement of monkeys swinging from tree to tree. The gravity-based locomotion enables continuous movement.Brachiation robots now are inspecting high-voltage transmission towers and bridges, searching damaged buildings for survivors, and performing maintenance on pipelines and cables.Fukuda retired from the university in 2013 and was named professor emeritus.He didn’t stay retired for long, though. He next held a teaching appointment at Meijo University, in Nagoya, until he left in 2022 to join the Egypt-Japan University.A prominent volunteerHe joined IEEE in 1980 at the encouragement of one of his research advisors, Professor Fumio Harashima, now an IEEE Life Fellow. After attending conferences and reading the organization’s publications, Fukuda says, he looked forward to becoming more involved.“I wanted to know how to organize a conference and how to edit a paper for one of its Transactions,” he says. “I wanted to know what was going on from inside the organization, not just the outside.”In 1988 he was the founding chair and organizer of IROS, in Tokyo. The conference had 330 attendees that year, and was supported by Harashima. Today it is one of the largest and most prestigious conferences on the topic, attracting more than 9,000 people annually. Out of 120,000 conferences, it was the only conference in the Nature Index database for this year, Fukuda says.In 1996 he and other members launched IEEE Transactions on Mechatronics.He was the founding president of the IEEE Nanotechnology Council, which was established in 2002. He is considered a pioneer in nanotechnology research, particularly regarding how it relates to robotics.Over the years, he has held numerous volunteer positions on IEEE editorial boards and committees.He was the 1998–1999 president of the IEEE Robotics and Automation Society, becoming the first non-U.S. member to hold the title.He was director of IEEE Division X (2001–2002 and 2017–2018), which covers intelligent systems, biological engineering, robotics, control systems, and photonic technologies. He served as the 2013–2014 director of IEEE Region 10 (Asia-Pacific).As the 2020 IEEE president, Fukuda saw the organization through the early part of the COVID-19 pandemic. Because of travel restrictions, he realized IEEE should change how it offered its in-person services, specifically educational programs. He encouraged IEEE Educational Activities to develop an online learning platform. The IEEE Learning Network started with just three courses and now offers nearly 2,000 courses, webinars, and learning materials.An award-winning memberThe Emberson Award joins a slew of other recognitions Fukuda has received from IEEE. They include several from the IEEE Robotics and Automation Society: a 2004 Pioneer Award, a 2009 Saridis Leadership Award, and the 2011 Harashima Award for Innovative Technologies. He is also a recipient of the Board-level 2010 IEEE Robotics and Automation Technical Field Award.He says he feels strongly that IEEE should be a diverse organization that is welcoming to all. As IEEE president, he led efforts to devise a diversity, equity, and inclusion program. Several policies, procedures, and bylaws were revised to give members a safe, inclusive place for discourse.“It’s important for IEEE to make everyone feel comfortable,” he says. “DEI programs are important. All people should be equal. IEEE doesn’t care who you are, what you do, what country you are from, or whether you are male or female. IEEE accepts people who have energy and passion.“It accepted me, from the Far East. That’s why I like it.”You can learn more about Fukuda and his career from the oral history conducted by the IEEE History Center.

Nvidia pushes Kyber release to 2028 following manufacturing concerns – report

Research firm SemiAnalysis claims 12 months delay is due to issues manufacturing the PCB midplane

VHF Propagation: What Every RF Engineer Should Know

A practical educational guide to common and uncommon VHF propagation modes, covering the physics, range implications, and real-world behaviors engineers need to understand.What Attendees will Learn1. Why “line of sight” fails as a practical VHF planning model.2. How refraction, reflection, diffraction, and scattering deliver or destroy signals where geometry alone cannot predict.3. How tropospheric refraction extends the VHF radio horizon roughly one-third beyond optical line of sight.4. How temperature inversions form ducts that can carry VHF signals over 1,500 km.5. How sporadic E, meteor burst, and EME propagate VHF signals across hundreds to thousands of kilometers.6. What frequency limits, distance ranges, and environmental triggers apply to each propagation mode.7. How to apply this knowledge to link budgeting, interference prediction, and contingency planning.Download this free whitepaper now!

IEEE’s Global Museum Brings Engineering History to You

Many IEEE members who collect historical engineering artifacts often offer them to the IEEE History and Heritage group, which includes the IEEE History Center, to display. To bring these artifacts to the public, the group created the IEEE Global Museum, which curates traveling exhibits for display at conferences and in libraries, universities, and other venues.The program educates people about how technological progress has unfolded over generations, and how engineers and researchers build on past achievements to benefit humanity.Curating the exhibits has been rewarding, says Daniel Jon Mitchell, director of the group’s heritage programs.“People tell me that they are genuinely moved by having history and artifacts explained to them in an accessible, intelligible way,” Mitchell says. “When people are moved and emotionally affected by what you’re doing, they’re going to remember that. And I think that’s part of the power of what we’re doing.”The most recent traveling exhibit was on display in April in New York City during the IEEE Honors Ceremony, which celebrates engineering pioneers who have developed technologies that changed how people connect with the world. Attendees explored the Microchips That Shook the World exhibit, which drew inspiration from IEEE Spectrum’s Chip Hall of Fame. The exhibit conveys the roles integrated circuits play in fields such as signal processing, audio engineering, and telecommunications. The Commodore 64, one of the artifacts on display, stirred up treasured childhood memories for guests who had used the home computer.Other exhibits have focused on early radio inventions and power and communications technologies.The Global Museum works with IEEE societies to mark their anniversaries by interpreting and displaying pertinent items.A tribute to radio pioneer Edwin Howard ArmstrongThe idea of a traveling museum came to fruition in 2024 after Alexander Magoun, IEEE’s outreach historian, connected with Mike Molnar. The IEEE associate member owns one of six superheterodyne radio prototypes developed by Edwin Howard Armstrong, who probably is best known for inventing the FM radio system. Armstrong received the first IEEE Medal of Honor in 1917.The radio converts incoming frequencies into a fixed, lower intermediate one using a local oscillator and a frequency mixer. The technology paved the way for modern electronic communications devices. The prototype became the focal point of the Global Museum’s flagship Unseen Signals: E. Howard Armstrong’s Radio Revolution exhibit, which celebrates the inventor’s life and his impact on the broadcasting industry and wireless communications.“The radio prototype is one of the most incredible pieces that we could put on display,” Mitchell says. He and Magoun sourced other artifacts including an Audion used in Armstrong’s experiments on wireless signal amplification; a selection of consumer products that attempted to cash in on radio’s popularity, including a flour sifter and laxatives; and a Motorola Walkie-Talkie from the Korean War. They were from museums or private collectors along the East Coast of the United States.“Aside from [Guglielmo] Marconi, Armstrong is the most significant contributor to the history of radio,” Mitchell says. “The exhibit is not only a biography but also a story of the cultural and political implications his work had.”Visitors can play 15 short clips of past radio broadcasts covering politics, religion, sports, or another topic.The Armstrong exhibit was unveiled in 2024 at the National Museum of Industrial History in Bethlehem, Pa.The 93-square-meter exhibit is still traveling around the United States. It is on display until 15 August at the Pavek Museum, in St. Louis Park, Minn.From 21 November until 9 May 2027, it is scheduled to be at the Museum of Innovation and Science in Schenectady, N.Y. Entry to the museum is free for IEEE members with a digital membership card.Collaborating with IEEE societiesThe IEEE History and Heritage group collaborates with IEEE societies to create exhibits for special events. In 2024 Mitchell curated an exhibit to celebrate the 75th anniversary of the IEEE Vehicular Technology Society and its 100th Vehicular Technology Conference. The Our Mobile World exhibit was launched at the conference, held in October in Washington, D.C.“The society’s leadership helped me focus attention on key developments that meant a lot to its members,” Mitchell says.“The IEEE Global Museum wants to present exhibits that connect with its audiences, whether these are IEEE members or the public,” he says. “Just knowing what was important historically doesn’t mean that this will resonate, so I really appreciated the insight.”The exhibit’s artifacts included a Motorola DynaTac “brick” cellphone, a CB radio from the 1980s, and one of the earliest handheld GPS receivers. Visitors played an interactive game to test their knowledge spanning a century of wireless technology, motor vehicles, and mobile communication inventions.Mitchell worked this year with the IEEE Dielectrics and Electrical Insulation Society to launch a virtual exhibit, Powering Up, which is available on the Global Museum website. It provides an overview of high-voltage power engineering, and it highlights the roles that manufacturers General Electric and Westinghouse played in making long-distance, high-voltage transmission of electrical power possible. Videos and photos of impulse generators and tests are featured in the exhibit. Nvidia CEO and cofounder Jensen Huang, who received the 2026 IEEE Medal of Honor, exploring the Microchips That Shook the World exhibit.IEEE Conferences, Events & ExperiencesOne photo shows lightning arcing between high-voltage generators. Others show the impulse generators used at the 1939 World’s Fair in New York City, demonstrations of artificial lightning, and U.S. President Ronald Reagan visiting GE’s high-voltage laboratory in Pittsfield, Mass.The history of microchipsThe Unseen Signals exhibit was created for large venues, but the Microchips That Shook the World exhibit was designed to be displayed in different spaces, Mitchell says. Artifacts are premounted to ensure easy setup, and they’re encased in glass because many are rare.Microchips are crucial for signal processing, audio engineering, and telecommunications, making them a point of interest despite their small size, Mitchell says. One rare artifact on display is the Kodak KAF-1300 image sensor. Invented in 1986, it was used in one of the earliest digital cameras made for photojournalists.The KAF-1300’s image sensor chip “is credited with bringing digital cameras out of the laboratory,” Mitchell says. “Only around 500 were produced.”Visitors can understand how transistors work, he says, by pressing buttons to turn them on and off.“There are billions of transistors in modern microchips,” he notes, “and you can combine them in a way that performs logical functions.”Unseen Signals, one of two identical exhibits, was curated by Mitchell and Stephen Cass, IEEE Spectrum’s special projects editor, with help from several Spectrum colleagues. Together, they served as on-site docents for guests at the IEEE Honors Ceremony.The display also featured a preview of IEEE’s immersive “Inside the Microchip” video project, which delves beneath the silicon surface of Nvidia’s NV20 chip, using forensic photography and computer-generated renderings. The video, to be released this year, aims to teach middle school students about the microchips that are inside their gaming devices.The exhibit was on display at the IEEE Electronic Components and Technology Conference, held in May in Orlando, Fla. Later this year, members will be able to visit it at the Computer History Museum in Mountain View, Calif., and the University of Waterloo, in Ontario, Canada.The IEEE Global Museum is made possible thanks to donations to the IEEE Foundation.

AI Theft Of Independent Journalism Is Now Common — And You Can Do Something About It

Lots of online media consumers are getting their information these days from AI. It’s easy and quick, right? But there are downsides to this trend that lets AI do the research for you. More and more legacy media outlets are depending on AI to fill their content outflows. In other ... [continued] The post AI Theft Of Independent Journalism Is Now Common — And You Can Do Something About It appeared first on CleanTechnica.

Google DeepMind and A24 announce first-of-its-kind research partnership

Simple Prompt Turns ChatGPT Into a Sociopath That Ignores Safety Guardrails

The stuff ChatGPT generated left safety researchers "shaken, and in tears."  The post Simple Prompt Turns ChatGPT Into a Sociopath That Ignores Safety Guardrails appeared first on Futurism.