As an Amazon Associate I earn from qualifying purchases.
Know what the Bible says and understand why it matters with the fully revised NIV Study Bible featuring updated notes, full-color design, and Comfort Print typography designed for immersive reading.
A trusted companion for deep personal study, sermon prep, and devotional reading highlighted in our faith and leadership coverage.
(MENAFN - EIN Presswire) EINPresswire/ -- The global aircraft oxygen system industry was generated $2.3 billion in 2022, and is anticipated to generate $4.7 billion by 2032, rising at a CAGR of 7.6% ...
When the center of protests against immigration enforcement switched recently to Charlotte, North Carolina, so did the frogs.
SCOTTSDALE, Ariz., Nov. 23, 2025 /PRNewswire/ -- The Industrial Technology Research Institute (ITRI) has been recognized with three 2025 R&D 100 Awards for its Bio-Inspired Ligament Scaffold (BILS), Circu-Texfilm, and AI-WaJeTM. These technologies showcase exceptional novelty, impact, and practical applications...
Ever heard of a ‘meteor storm’? Picture 40 shooting stars per second. The Washington Post
Anomalies of 3I/ATLAS, Organized by Likelihood Avi Loeb – MediumWatch: Nasa releases new images of interstellar comet 3I/ATLAS BBCMore Than a Dozen NASA Spacecraft Have Laid Eyes on Interstellar Comet 3I/ATLAS. Now, You Can View New Images That They Captured Smithsonian MagazineNASA Releases Images of Comet 3I/ATLAS: It ‘Doesn’t Look Like a Spacecraft’ The New York TimesScience news this week: The CDC in turmoil, NASA releases anticipated 3I/ATLAS images, and how to thwart an insect apocalypse Live Science
In a rare move, the US government deported a planeload of Iranians back to their home country in September—an operation that took months of negotiation between the Trump administration and Tehran and resulted in the first chartered deportation flight of its kind. One of those sent back, 34-year-old Mehrdad...
I couldn't resist buying myself a couple blind bags of these cute Nintendo charms, which yielded me a pair of sweet Game Boy and Super Nintendo keychains that have adorned my backpack and luggage for years. If that sounds like fun for anyone you're shopping for, then these little guys — which also come in other variations like Nintendo 64, GameCube, NES and Nintendo DS — are an easy and cheap stocking stuffer.
This article is part of our exclusive IEEE Journal Watch series in partnership with IEEE Xplore.A lot of pressure is riding on autonomous vehicles to perform flawlessly—each mistake they make erodes the public’s trust and puts immense pressure on the industry to further improve safety. What will help autonomous vehicles overcome these challenges?In a study published in the October issue of IEEE Transactions on Intelligent Transportation Systems, researchers outlined numerous ways in which explainable AI—in which questions are posed to an AI model to understand its decision-making process—can be used to pinpoint exactly when in that process the models overseeing autonomous vehicles are making mistakes. This approach could not only help passengers know when it’s necessary to take control of the vehicle and help build their trust in autonomous vehicles, but also help industry experts develop safer ones. Shahin Atakishiyev is a deep learning researcher who conducted the study as part of his postdoctoral work with the University of Alberta, in Canada. He notes that autonomous driving architecture is generally a black box. “Ordinary people, such as passengers and bystanders, do not know how an autonomous vehicle makes real-time driving decisions,” he says. But with rapidly advancing AI, it’s now possible to ask the models why they make the decisions they do. This opens up a wide range of possibilities for digging deeper into the model’s inner workings. For example, what aspects of its visual sensory data was it focusing on when it decided to brake suddenly? To what extent did time constraints affect its decision-making?Real-Time Feedback in Autonomous VehiclesIn their paper, Atakishiyev and his colleagues provide an example of how real-time feedback could help passengers detect faulty decision-making by autonomous vehicles. They point to a case study where another research group slightly altered a 35-mile-per-hour (56 kilometers per hour) speed limit sign by adding a sticker to it, elongating the middle part of the “3,” and tested Tesla Model S to see how the heads-up display of the vehicle read the altered speed limit. The vehicle read the 35-mph (56 kph) sign as an 85-mph (137-kph) sign and accelerated as it approached and passed the sign. In such a case, Atakishiyev’s team notes that if the car provides a rationale for its decision on a dashboard or user interface—for example by saying “The speed limit is 85 mph, accelerating”—in real time while approaching the speed sign, a passenger onboard could intervene and ensure the car adheres to the true speed limit. A challenge here, Atakishiyev says, is what level of information to provide to passengers, each of whom will have different preferences. “Explanations can be delivered via audio, visualization, text, or vibration, and people may choose different modes depending on their technical knowledge, cognitive abilities, and age,” he says.Whereas real-time feedback to users could help prevent disasters from happening in the moment, analyzing the decision-making process of an autonomous vehicle after it makes a mistake could also help scientists produce safer vehicles, Atakishiyev says.In their study, Atakishiyev’s team conducted different simulationsin which a deep learning model for autonomous vehicles made various decisions while driving, and the researchers asked the driving model questions about its decisions. They made sure to ask the model trick questions, which revealed instances when the model lacked the ability to explain its actions. This approach can help identify key gaps in the explanation module that need to be addressed.They also point to an existing machine learning analysis technique, called SHapley Additive exPlanations (SHAP), that researchers can use to assess AV decision-making. After an autonomous vehicle completes a drive, a SHAP analysis involves scoring all features used in decision-making of the autonomous vehicle, to reveal which are helpful and influential (and which are not) for driving decisions. “This analysis helps to discard less influential features and pay more attention to the most salient ones,” Atakishiyev says.The researchers also discuss how explanations could help tease apart the legalities of when an autonomous vehicle hits a pedestrian. Key questions here include: Was the vehicle following the rules of the road? Once the accident occurred, did the vehicle “understand” that it hit a person and come to a full stop, as it should? Did it activate emergency functions (for example, reporting the accident to authorities and emergency services) immediately? Such questions help scientists identify faults in a model that need correcting.These tactics to understand the decision-making processes of deep learning models are gaining traction in the field of autonomous vehicles, and will presumably lead to safer roads. “I would say explanations are becoming an integral component of AV technology,” Atakishiyev says, emphasizing that explanations can help assess the operational safety of the driving by debugging the existing systems.
"If you should care about something else, and if you want something else, you should just not be here. It's as simple as that."The post Sam Altman’s Eyeball-Scanning Orb Startup Made a Cult-Like Demand of Its Employees appeared first on Futurism.
Welp, turns out life is definitely not all glitter and rainbows. A new study out of the University of Zurich, published in Biological Reviews, suggests that the modern world is wrecking our bodies and minds. Turns out, our tech and the world we’ve built with it have evolved so quickly that we’re struggling to keep [...]The post Modern Life Is Too Stressful And Human Evolution Is Struggling To Keep Up appeared first on VICE.
Newly unredacted court filings accuse Meta of suppressing internal research, including Project Mercury, which showed deactivating Facebook and Instagram reduces users' depression and anxiety. The lawsuit by U.S. school districts claims Meta prioritized profits over youth mental health, potentially spurring global regulations and industry reforms.
MARS Moment: The Complex Care of Injured and Orphaned Wildlife Comox Valley Record
After successful co-extrusion, Lightbridge Corporation's fuel material is now being tested under realistic conditions.
A new study from Seoul National University analyzes Type Ia supernovae data, suggesting dark energy is weakening, potentially slowing the universe's expansion and challenging the Lambda-CDM model. This could resolve the Hubble tension and prompt a cosmological paradigm shift. Critics urge caution, with future observations like Euclid's data expected to clarify the debate.
Meet the Strangest New Creature with Red Eyes and ‘Long Fingers’ Found in Peru The Daily Galaxy
The ongoing archaeological investigation at the Palace of Westminster has unearthed dozens of Mesolithic and Neolithic tools.
Retired senior state archaeologist Breck Parkman used artifacts found in old ruins or the chemistry of rocks piece together possible narratives about life in the Bay Area – tens of thousands of years ago or as recently as the late 20th century.
While the existence of extra dimensions is a cool idea, it's currently not supported by any evidence
MBX Biosciences (NASDAQ:MBX – Get Free Report) and Spruce Biosciences (NASDAQ:SPRB – Get Free Report) are both small-cap manufacturing companies, but which is the better stock? We will compare the two businesses based on the strength of their profitability, earnings, dividends, risk, valuation, institutional ownership and analyst recommendations. Risk and Volatility MBX Biosciences has a [...]
Fifteen years ago, when I started studying the international dating industry, few people took the subject seriously. The term "mail-order bride" was treated as a punch line—something outdated, associated with lonely men and poor women who migrated from Eastern Europe, Asia or other places to meet their new husbands in the United States.
In a 2020 research project code-named Project Mercury, Meta scientists worked with survey firm Nielsen to gauge the effect of deactivating Facebook and Instagram, according to Meta documents
This year's COP30 comes after the international Agreement on Marine Biological Diversity of Areas beyond National Jurisdiction (BBNJ) finally acquired the required number of ratification votes by United Nations member states.
Researchers have taken a significant step toward creating a standardized language for describing the aromas of cannabis and hemp.
Meta shut down internal research into the mental health effects of Facebook and Instagram after finding causal evidence that its products harmed users’ mental health, according to unredacted filings in a class action by U.S. school districts against Meta and other social media platforms.
The surface of the Earth is finite. We can measure it. If it was expanding, then its size would grow with time. And once again, good ol’ Earth helps us understand what the universe might be doing beyond our observable horizon.
We have more power than we might think. As the luminous Sun forms a cooperative sextile with transformative Pluto at 2:20 PM EST, we can recognize where steady effort invites meaningful change. Morning conversations might reveal unexpectedly simple fixes. Meanwhile, afternoon choices flow smoothly as we align intentions with actions and share support. By evening, the mood should steady. Small promises kept rebuild trust and help us close the day feeling more capable and a little lighter. Choose one doable change and stick with it!
AI stocks aren't going anywhere over the next three years.
Researchers successfully teleported quantum information between photons from different sources, marking a major step toward practical quantum repeaters and a future fiber-based quantum internet.
A new technique was adapted to study slag waste that was a byproduct of ancient copper smelting.
Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting incorrect information. In high-stakes domains like finance, medicine or autonomous systems, such unreliability is unacceptable. Enter Lean4, an open-source programming language and interactive theorem prover becoming a key tool to inject rigor and certainty into AI systems. By leveraging formal verification, Lean4 promises to make AI safer, more secure and deterministic in its functionality. Let's explore how Lean4 is being adopted by AI leaders and why it could become foundational for building trustworthy AI.What is Lean4 and why it mattersLean4 is both a programming language and a proof assistant designed for formal verification. Every theorem or program written in Lean4 must pass a strict type-checking by Lean’s trusted kernel, yielding a binary verdict: A statement either checks out as correct or it doesn’t. This all-or-nothing verification means there’s no room for ambiguity – a property or result is proven true or it fails. Such rigorous checking “dramatically increases the reliability” of anything formalized in Lean4. In other words, Lean4 provides a framework where correctness is mathematically guaranteed, not just hoped for.This level of certainty is precisely what today’s AI systems lack. Modern AI outputs are generated by complex neural networks with probabilistic behavior. Ask the same question twice and you might get different answers. By contrast, a Lean4 proof or program will behave deterministically – given the same input, it produces the same verified result every time. This determinism and transparency (every inference step can be audited) make Lean4 an appealing antidote to AI’s unpredictability.Key advantages of Lean4’s formal verification:Precision and reliability: Formal proofs avoid ambiguity through strict logic, ensuring each reasoning step is valid and results are correct.Systematic verification: Lean4 can formally verify that a solution meets all specified conditions or axioms, acting as an objective referee for correctness.Transparency and reproducibility: Anyone can independently check a Lean4 proof, and the outcome will be the same – a stark contrast to the opaque reasoning of neural networks.In essence, Lean4 brings the gold standard of mathematical rigor to computing and AI. It enables us to turn an AI’s claim (“I found a solution”) into a formally checkable proof that is indeed correct. This capability is proving to be a game-changer in several aspects of AI development.Lean4 as a safety net for LLMsOne of the most exciting intersections of Lean4 and AI is in improving LLM accuracy and safety. Research groups and startups are now combining LLMs’ natural language prowess with Lean4’s formal checks to create AI systems that reason correctly by construction.Consider the problem of AI hallucinations, when an AI confidently asserts false information. Instead of adding more opaque patches (like heuristic penalties or reinforcement tweaks), why not prevent hallucinations by having the AI prove its statements? That’s exactly what some recent efforts do. For example, a 2025 research framework called Safe uses Lean4 to verify each step of an LLM’s reasoning. The idea is simple but powerful: Each step in the AI’s chain-of-thought (CoT) translates the claim into Lean4’s formal language and the AI (or a proof assistant) provides a proof. If the proof fails, the system knows the reasoning was flawed – a clear indicator of a hallucination. This step-by-step formal audit trail dramatically improves reliability, catching mistakes as they happen and providing checkable evidence for every conclusion. The approach that has shown “significant performance improvement while offering interpretable and verifiable evidence” of correctness.Another prominent example is Harmonic AI, a startup co-founded by Vlad Tenev (of Robinhood fame) that tackles hallucinations in AI. Harmonic’s system, Aristotle, solves math problems by generating Lean4 proofs for its answers and formally verifying them before responding to the user. “[Aristotle] formally verifies the output... we actually do guarantee that there’s no hallucinations,” Harmonic’s CEO explains. In practical terms, Aristotle writes a solution in Lean4’s language and runs the Lean4 checker. Only if the proof checks out as correct does it present the answer. This yields a “hallucination-free” math chatbot – a bold claim, but one backed by Lean4’s deterministic proof checking.Crucially, this method isn’t limited to toy problems. Harmonic reports that Aristotle achieved a gold-medal level performance on the 2025 International Math Olympiad problems, the key difference that its solutions were formally verified, unlike other AI models that merely gave answers in English. In other words, where tech giants Google and OpenAI also reached human-champion level on math questions, Aristotle did so with a proof in hand. The takeaway for AI safety is compelling: When an answer comes with a Lean4 proof, you don’t have to trust the AI – you can check it.This approach could be extended to many domains. We could imagine an LLM assistant for finance that provides an answer only if it can generate a formal proof that it adheres to accounting rules or legal constraints. Or, an AI scientific adviser that outputs a hypothesis alongside a Lean4 proof of consistency with known physics laws. The pattern is the same – Lean4 acts as a rigorous safety net, filtering out incorrect or unverified results. As one AI researcher from Safe put it, “the gold standard for supporting a claim is to provide a proof,” and now AI can attempt exactly that.Building secure and reliable systems with Lean4Lean4’s value isn’t confined to pure reasoning tasks; it’s also poised to revolutionize software security and reliability in the age of AI. Bugs and vulnerabilities in software are essentially small logic errors that slip through human testing. What if AI-assisted programming could eliminate those by using Lean4 to verify code correctness?In formal methods circles, it’s well known that provably correct code can “eliminate entire classes of vulnerabilities [and] mitigate critical system failures.” Lean4 enables writing programs with proofs of properties like “this code never crashes or exposes data.” However, historically, writing such verified code has been labor-intensive and required specialized expertise. Now, with LLMs, there’s an opportunity to automate and scale this process. Researchers have begun creating benchmarks like VeriBench to push LLMs to generate Lean4-verified programs from ordinary code. Early results show today’s models are not yet up to the task for arbitrary software – in one evaluation, a state-of-the-art model could fully verify only ~12% of given programming challenges in Lean4. Yet, an experimental AI “agent” approach (iteratively self-correcting with Lean feedback) raised that success rate to nearly 60%. This is a promising leap, hinting that future AI coding assistants might routinely produce machine-checkable, bug-free code.The strategic significance for enterprises is huge. Imagine being able to ask an AI to write a piece of software and receiving not just the code, but a proof that it is secure and correct by design. Such proofs could guarantee no buffer overflows, no race conditions and compliance with security policies. In sectors like banking, healthcare or critical infrastructure, this could drastically reduce risks. It’s telling that formal verification is already standard in high-stakes fields (that is, verifying the firmware of medical devices or avionics systems). Harmonic’s CEO explicitly notes that similar verification technology is used in “medical devices and aviation” for safety – Lean4 is bringing that level of rigor into the AI toolkit.Beyond software bugs, Lean4 can encode and verify domain-specific safety rules. For instance, consider AI systems that design engineering projects. A LessWrong forum discussion on AI safety gives the example of bridge design: An AI could propose a bridge structure, and formal systems like Lean can certify that the design obeys all the mechanical engineering safety criteria. The bridge’s compliance with load tolerances, material strength and design codes becomes a theorem in Lean, which, once proved, serves as an unimpeachable safety certificate. The broader vision is that any AI decision impacting the physical world – from circuit layouts to aerospace trajectories – could be accompanied by a Lean4 proof that it meets specified safety constraints. In effect, Lean4 adds a layer of trust on top of AI outputs: If the AI can’t prove it’s safe or correct, it doesn’t get deployed.From big tech to startups: A growing movementWhat started in academia as a niche tool for mathematicians is rapidly becoming a mainstream pursuit in AI. Over the last few years, major AI labs and startups alike have embraced Lean4 to push the frontier of reliable AI:OpenAI and Meta (2022): Both organizations independently trained AI models to solve high-school olympiad math problems by generating formal proofs in Lean. This was a landmark moment, demonstrating that large models can interface with formal theorem provers and achieve non-trivial results. Meta even made their Lean-enabled model publicly available for researchers. These projects showed that Lean4 can work hand-in-hand with LLMs to tackle problems that demand step-by-step logical rigor.Google DeepMind (2024): DeepMind’s AlphaProof system proved mathematical statements in Lean4 at roughly the level of an International Math Olympiad silver medalist. It was the first AI to reach “medal-worthy” performance on formal math competition problems – essentially confirming that AI can achieve top-tier reasoning skills when aligned with a proof assistant. AlphaProof’s success underscored that Lean4 isn’t just a debugging tool; it’s enabling new heights of automated reasoning.Startup ecosystem: The aforementioned Harmonic AI is a leading example, raising significant funding ($100M in 2025) to build “hallucination-free” AI by using Lean4 as its backbone. Another effort, DeepSeek, has been releasing open-source Lean4 prover models aimed at democratizing this technology. We’re also seeing academic startups and tools – for example, Lean-based verifiers being integrated into coding assistants, and new benchmarks like FormalStep and VeriBench guiding the research community.Community and education: A vibrant community has grown around Lean (the Lean Prover forum, mathlib library), and even famous mathematicians like Terence Tao have started using Lean4 with AI assistance to formalize cutting-edge math results. This melding of human expertise, community knowledge and AI hints at the collaborative future of formal methods in practice.All these developments point to a convergence: AI and formal verification are no longer separate worlds. The techniques and learnings are cross-pollinating. Each success – whether it’s solving a math theorem or catching a software bug – builds confidence that Lean4 can handle more complex, real-world problems in AI safety and reliability.Challenges and the road aheadIt’s important to temper excitement with a dose of reality. Lean4’s integration into AI workflows is still in its early days, and there are hurdles to overcome:Scalability: Formalizing real-world knowledge or large codebases in Lean4 can be labor-intensive. Lean requires precise specification of problems, which isn’t always straightforward for messy, real-world scenarios. Efforts like auto-formalization (where AI converts informal specs into Lean code) are underway, but more progress is needed to make this seamless for everyday use.Model limitations: Current LLMs, even cutting-edge ones, struggle to produce correct Lean4 proofs or programs without guidance. The failure rate on benchmarks like VeriBench shows that generating fully verified solutions is a difficult challenge. Advancing AI’s capabilities to understand and generate formal logic is an active area of research – and success isn’t guaranteed to be quick. However, every improvement in AI reasoning (like better chain-of-thought or specialized training on formal tasks) is likely to boost performance here.User expertise: Utilizing Lean4 verification requires a new mindset for developers and decision-makers. Organizations may need to invest in training or new hires who understand formal methods. The cultural shift to insist on proofs might take time, much like the adoption of automated testing or static analysis did in the past. Early adopters will need to showcase wins to convince the broader industry of the ROI.Despite these challenges, the trajectory is set. As one commentator observed, we are in a race between AI’s expanding capabilities and our ability to harness those capabilities safely. Formal verification tools like Lean4 are among the most promising means to tilt the balance toward safety. They provide a principled way to ensure AI systems do exactly what we intend, no more and no less, with proofs to show it.Toward provably safe AIIn an era when AI systems are increasingly making decisions that affect lives and critical infrastructure, trust is the scarcest resource. Lean4 offers a path to earn that trust not through promises, but through proof. By bringing formal mathematical certainty into AI development, we can build systems that are verifiably correct, secure, and aligned with our objectives.From enabling LLMs to solve problems with guaranteed accuracy, to generating software free of exploitable bugs, Lean4’s role in AI is expanding from a research curiosity to a strategic necessity. Tech giants and startups alike are investing in this approach, pointing to a future where saying “the AI seems to be correct” is not enough – we will demand “the AI can show it’s correct.”For enterprise decision-makers, the message is clear: It’s time to watch this space closely. Incorporating formal verification via Lean4 could become a competitive advantage in delivering AI products that customers and regulators trust. We are witnessing the early steps of AI’s evolution from an intuitive apprentice to a formally validated expert. Lean4 is not a magic bullet for all AI safety concerns, but it is a powerful ingredient in the recipe for safe, deterministic AI that actually does what it’s supposed to do – nothing more, nothing less, nothing incorrect.As AI continues to advance, those who combine its power with the rigor of formal proof will lead the way in deploying systems that are not only intelligent, but provably reliable.Dhyey Mavani is accelerating generative AI at LinkedIn. Read more from our guest writers. Or, consider submitting a post of your own! See our guidelines here.
Allow me to preface the title: Longshot Space wants to build a 6-mile-long (10-km) space cannon to shoot several-ton objects into low Earth orbit (LEO). The company has already built a working proof of concept.Continue ReadingCategory: Space, ScienceTags: SpinLaunch, Longshot, Kinetic orbital launchers, Orbit, Android Launchers, Compressed Air, Cannons, Interviews
Hydrogenases catalyze the reversible splitting and production of hydrogen gas (H2), using complex catalytic cofactors comprising Earth-abundant nickel and/or iron ions. These enzymes, especially the [NiFe]-hydrogenases (fig. 1), are remarkably efficient, making them inspiring models for clean-energy technologies. Yet despite extensive study by many groups worldwide, key steps in their catalytic cycle have remained difficult to observe.
As an auditor of battery manufacturers around the world, University of Maryland mechanical engineer Michael Pecht frequently finds himself touring spotless production floors. They’re akin to “the cleanest hospital that you could imagine–it’s semiconductor-type cleanliness,” he says. But he’s also seen the opposite, and plenty of it. Pecht estimates he’s audited dozens of battery factories where he found employees watering plants next to a production line or smoking cigarettes where particulates and contaminants can get into battery components and compromise their performance and safety.Unfortunately, those kinds of scenes are just the tip of the iceberg. Pecht says he’s seen poorly assembled lithium-ion cells with little or no safety features and, worse, outright counterfeits. These phonies may be home-built or factory-built and masquerade as those from well-known global brands. They’ve been found in scooters, vape pens, e-bikes, and other devices, and have caused fires and explosions with lethal consequences.The prevalence of fakes is on the rise, causing growing concern in the global battery market. In fact, after a rash of fires in New York City over the past few years caused by faulty batteries, including many powering e-bikes used by the city’s delivery cyclists, New York banned the sale of uncertified batteries. The city is currently setting up what will be its first e-bike battery-swapping stations as an alternative to home charging, in an effort to coax delivery riders to swap their depleted batteries for a fresh one rather than charging at home, where a bad battery could be a fire hazard.Compared with certified batteries, whose public safety risks may be overblown, the dangers of counterfeit batteries may be underrated. “It is probably an order of magnitude worse with these counterfeits,” Pecht says.Counterfeit Lithium-Ion Battery RisksThere are a few ways to build a counterfeit battery. Scammers often relabel old or scrap batteries built by legitimate manufacturers like LG, Panasonic, or Samsung and sell them as new. “It’s so simple to make a new label and put it on,” Pecht says. To fetch a higher price, they sometimes rebadge real batteries with labels that claim more capability than the cells actually have.But the most prevalent fake batteries, Pecht says, are homemade creations. Counterfeiters can do this in make-shift environments because building a lithium-ion cell is fairly straightforward. With an anode, cathode, separator, electrolyte, and other electrical elements, even fly-by-night battery makers can get the cells to work. What they don’t do is make them as safe and reliable as tested, certified batteries. Counterfeiters skimp on safety mechanisms that prevent issues that lead to fire. For example, certified batteries are built to stop thermal runaway, the chain reaction that can start because of an electrical short or mechanical damage to the battery and lead to the temperature increasing out of control.Judy Jeevarajan, the vice president and executive director of Houston-based Electrochemical Safety Research Institute, which is part of Underwriters Laboratories (UL) Research Institutes, led a study of fake batteries in 2023. In the study, Jeevarajan and her colleagues gathered both real and fake lithium batteries from three manufacturers (whose names were withheld), and pushed them to their limits to demonstrate the differences. One test, called a destructive physical analysis, involved dismantling small cylindrical batteries. This immediately revealed differences in quality. The legitimate, higher quality examples contained thick plastic insulators at the top and bottom of the cylinders, as well as axially and radially placed tape to hold the “jelly roll” core of the battery. But illegitimate examples had thinner insulators or none at all, and little or no safety tape.“This is a major concern from a safety perspective as the original products are made with certain features to reduce the risk associated with the high energy density that li-ion cells offer,” Jeevarajan says. Jeevarajan’s team also subjected batteries to overcharging and to electrical shorts. A legitimately tested and certified battery, like the iconic 18650 lithium-ion cylinder, counters these threats with internal safety features such as positive temperature coefficient, where a material gains electrical resistance as it gets hotter, and a current interrupt device (CID), which automatically disconnects the battery’s electrical circuit if the internal pressure rises too high. The legit lithium battery in Jeevarajan’s test had the best insulators and internal construction. It also had a high-quality CID that prevented overcharging, reducing risk a fire. Neither of the other cells had one.Despite the gross lack of safety parts in the batteries, great care had clearly gone into making sure the counterfeit labels had the exact same shade and markings as the original manufacturer’s, Jeevarajan says. How to Spot a Counterfeit BatteryBecause counterfeiters are so skilled at duplicating manufacturers’ labels, it can be hard to know for sure whether the lithium batteries that come with a consumer electronics device, or the replacements that can be purchased on sites like eBay or Amazon, are in fact the genuine article. It’s not just individual consumers who struggle with this. Pecht says he knows of instances where device makers have bought what they thought were LG or Samsung batteries for their machines but failed to verify that the batteries were the real thing. “One cannot tell from visually inspecting it,” Jeevarajan says. But companies don’t have to dismantle the cells to do their due diligence. “The lack of safety devices internal to the cell can be determined by carrying out tests that verify their presence,” she says. A simple way, Pecht says, is to have a comparison standard on hand – a known, legitimate battery whose labeling, performance, or other characteristics can be compared to a questionable cell. His team will even go as far as doing a CT scan to see inside a battery and find out whether it is built correctly.Of course, most consumers don’t have the equipment on hand to test the veracity of all the rechargeable batteries in their homes. To shop smart, then, Pecht advises people to think about what kind of batteries and devices they’re using. The units in our smartphones and the large, high-capacity batteries found in electric vehicles aren’t the problem; they are subject to strict quality control and very unlikely to be fake. By far, he says, the more likely places to find counterfeits are the cylindrical batteries found in small, inexpensive devices.“They are mostly found as energy and power sources for portable applications that can vary from your cameras, camcorders, cell phones, power banks, power tools, e-bikes and e-scooters,” adds Jeevarajan. “For most of these products, they are sold with part numbers that show an equivalency to a manufacturer’s part number. Electric vehicles are a very high-tech market and they would not accept low-quality or cells and batteries of questionable origin.”The trouble with battling the counterfeit battery scourge, Pecht says, is that new rules tend to focus on consumer behavior, such as trying to prevent people from improperly storing or charging e-bike batteries in their apartments. Safe handling and charging are indeed crucial, but what’s even more important is trying to keep counterfeits out of the supply chain. “They want to blame the user, like you overcharged it or you did this wrong,” he says. “But in my view, it’s the cells themselves” that are the problem.
Future gardens aboard space ships may be carpeted in moss because it's so space hardy.The post Scientists Intrigued by Moss Surviving on Exterior of Space Station appeared first on Futurism.
Scientists Intrigued by Moss Surviving on Exterior of Space Station FuturismThis moss survived 9 months outside the International Space Station in the harshness of space CBCScientists put moss on the outside of the International Space Station for 9 months — then kept it growing back on Earth Live ScienceMoss in space: spores survive nine-month ride on outside of ISS | Biology The GuardianMoss Survived 9 Months in The Vacuum of Space ScienceAlert
An internal committee has unanimously found that Texas A&M University should not have fired a lecturer after a student complained about a lesson involving gender identity. The panel ruled that the university didn't follow proper procedures and didn't prove there was "good cause" to fire Melissa McCoul, who was a...
The 2015 Paris Agreement forged a path for the world to stave off the worst climate change scenarios. Here’s where we stand 10 years later
Centuries before Monopoly, there was Patolli, a high-stakes Mesoamerican game of strategy and luck where players wagered crops and wealth as they raced their opponents around a cross-shaped board.
President Donald Trump and his Health Secretary Robert F. Kennedy Jr. say they want the government to follow “gold standard” science. Scientists say the problem is that those two are often doing just the opposite by relying on preliminary studies,...
By DEVI SHASTRI The message is hammered over and over, in news conferences, hearings and executive orders: President Donald Trump and his health secretary, Robert F. Kennedy Jr., say they want the government to follow “gold standard” science. Scientists say the problem is that they are often doing just the opposite by relying on preliminary [...]
Tencent (OTCMKTS:TCEHY – Get Free Report) was upgraded by research analysts at Zacks Research from a “hold” rating to a “strong-buy” rating in a research note issued to investors on Thursday,Zacks.com reports. A number of other brokerages have also recently issued reports on TCEHY. Barclays reissued an “overweight” rating and set a $102.00 price target [...]
Tanger (NYSE:SKT – Get Free Report) was upgraded by research analysts at LADENBURG THALM/SH SH to a “strong-buy” rating in a research note issued to investors on Thursday,Zacks.com reports. Several other equities research analysts have also weighed in on the company. Wall Street Zen raised Tanger from a “sell” rating to a “hold” rating in [...]
The glow seems to be pointing in the wrong direction.The post Scientist Identifies Something Strange About New Image of Mysterious Interstellar Visitor appeared first on Futurism.
Scientist Identifies Something Strange About New Image of Mysterious Interstellar Visitor YahooAstonishing interstellar comet captured in new images by NASA Mars missions CNNNASA Releases Images of Comet 3I/ATLAS: It ‘Doesn’t Look Like a Spacecraft’ The New York TimesTranscript of a Q&A About 3I/ATLAS Avi Loeb – MediumNASA to Share Comet 3I/ATLAS Images From Spacecraft, Telescopes NASA (.gov)
Scientist Identifies Something Strange About New Image of Mysterious Interstellar Visitor FuturismAstonishing interstellar comet captured in new images by NASA Mars missions CNNBreaking News: Newly-Discovered Sideways Lines Might Trace the Release of Smaller Objects by 3I/ATLAS! Avi Loeb – MediumNASA Releases Images of Comet 3I/ATLAS: It ‘Doesn’t Look Like a Spacecraft’ The New York TimesNASA to Share Comet 3I/ATLAS Images From Spacecraft, Telescopes NASA (.gov)
Material science plays a critical role in space exploration. So many of the challenges facing both crewed and non-crewed missions come down to factors like weight, thermal and radiation tolerance, and overall material stability. The results of a new study from Young-Kyeong Kim of the Korea Institute of Science and Technology and their colleagues should therefore be exciting for those material scientists who focus on radiation protection. After decades of trying, the authors were able to create a fully complete “sheet” of Boron Nitride Nanotubes (BNNTs).
Quantum ground states are the states at which quantum systems have the minimum possible energy. Quantum computers are increasingly being used to analyze the ground states of interesting systems, which could in turn inform the design of new materials, chemical compounds, pharmaceutical drugs and other valuable goods.
South Cariboo couple use carnivorous plants as educational vehicle Williams Lake Tribune
Why the rings of Saturn seem as if they’re about to disappear The Seattle TimesSaturn’s Rings Seem as if They’re About to Disappear: Here’s Why The New York TimesSKYWATCH: Saturn’s rings disappear temporarily magicvalley.comSaturn’s Rings Are Ghosting Us This Weekend Gizmodo
BAY COUNTY, Fla. (WMBB) — New technology is evolving lung cancer detection and treatment at Ascension Sacred Heart Bay in Panama City. It's called the "Ion Robotic-assisted Bronchoscopy system" and "Endo-Bronchial Ultrasound Technology." It's minimally invasive, and if you have a lung nodule and require a biopsy, this robot gives a physician the equivalent of [...]
Scientists from New York University Abu Dhabi (NYUAD) have uncovered new evidence that water once flowed beneath the surface of Mars, revealing that the planet may have remained habitable for life much longer than previously thought.
HONG KONG, Nov. 21, 2025 /PRNewswire/ -- The inaugural Palladium Global Science Award ceremony was held in Hong Kong, celebrating the most advanced innovations in industrial palladium applications. Established in 2025, the international scientific competition aims to stimulate and promote...
Unlike emergency vehicles, drones aren't limited by roads.
A substitution measurement method is proposed to address the difficulty and high cost of acquiring specific isotope targets, enabling high-precision determination of the 65Cu(γ, n)64Cu reaction cross section. Leveraging quasi-monoenergetic γ beams from the Shanghai Laser Electron Gamma Source (SLEGS) at the Shanghai Synchrotron Radiation Facility (SSRF), the research measured natCu(γ, n) reaction cross sections in the 11.09-17.87 MeV energy range and derived 65Cu(γ, n)64Cu cross sections using previously measured 63Cu(γ, n) data. The method's reliability is verified by comparison with existing experimental data and theoretical predictions, and it further yields the γ strength function of 65Cu and calculates the 64Cu(n, γ)65Cu radiative neutron capture cross section, providing a new approach for photoneutron cross section measurements of hard-to-obtain isotopes.
With a spotlight on the Brazilian Amazon, where agriculture drives a significant chunk of deforestation and planet-warming emissions, many of the activists, ...
The New York League of Conservation Voters new interactive data map tracks the lead presence in millions of water service lines across the state. Buffalo leads in major cities outside NYC, with 45% of the city's pipes confirmed as lead.
A University of Arizona-led team has used a camera orbiting Mars to capture the closest images yet of a rare interstellar comet that has sparked wild speculation about alien visitors.
Georgia Tech's research and talent are helping PBS Aerospace launch a new era of aerospace manufacturing in Roswell, Georgia -- advancing U.S. defense innovation and fueling the state's growing leadership in drone and propulsion technology.
The grant will enable Will Ratcliff's research into the origin of complex life.
NASA releases images of comet 3I/ATLAS, rejects alien spacecraft 'rumors' KSL.comView Interstellar Comet 3I/ATLAS Through NASA’s Multiple Lenses NASA Science (.gov)Breaking News: Newly-Discovered Sideways Lines Might Trace the Release of Smaller Objects by 3I/ATLAS! Avi Loeb – MediumNASA Releases Images of Comet 3I/ATLAS: It ‘Doesn’t Look Like a Spacecraft’ The New York TimesNASA's fleet of telescopes, spacecraft glimpse 3I/ATLAS. See photos of interstellar comet USA Today
Uniting FDA-authorized trials, ketamine and Spravato therapy, therapist training, and community education under one roof, InnerMost brings a vital new resource, contributing to the field globally
Strategic Planning in Motion: The Hidden Accelerator in Drug Development Biopharma teams are under growing pressure to advance assets faster, navigate rising complexity and make earlier decisions with greater confidence. Download the infographic to explore the strategies that are reshaping early-stage development and driving stronger outcomes across the pipeline. mcottamFri, 11/21/2025 - 09:05 Biopharma teams are under growing pressure to advance assets faster, navigate rising complexity and make earlier decisions with greater confidence. Download the infographic to explore the strategies that are reshaping early-stage development and driving stronger outcomes across the pipeline. IQVIA drug development early-stage R&D real-world data Resource Type Infographic IQVIA Listing Logo.png Fri, 11/21/2025 - 09:05 Pharma Clinical Data Drug Delivery Manufacturing Landing Page Url https://fp-resources.fiercepharma.com/free/w_defa9851/?pk=LS-Infographic-IQVIA-... Byline Sponsored by: IQVIA
Learn more about the diseases Neanderthals endured and how their weakened immune system and encounters with humans made them more susceptible to infection.
Astrophysicist Beals Honoured with Hall of Fame & Award Acadia University
By and large, I’ve resisted writing about Comet 3I/ATLAS, because it’s a bit of a controversial topic.
"All that remained was the particular flat shape."
Potential treatments for one of the world's most dangerous hospital superbugs have been found in a surprising location—hospital toilets.
For anesthesiologist Dr. Matthew Turnock, it was a research project that felt “out of this world.”
A fluorescent protein sensor tracks DNA damage and repair in living cells. The tool reveals real‐time repair dynamics, advancing cancer biology, drug safety testing, and aging research.The post DNA Damage Sensor Reveals Repair in Real Time appeared first on GEN - Genetic Engineering and Biotechnology News.
Learn key business statistics and research methods. This guide covers descriptive, predictive, and diagnostic analysis with real-world business examples.
Scientists reveal what triggered Santorini 'earthquake swarm' Yahoo News CanadaHidden process behind 2025 Santorini earthquakes uncovered Phys.org
A new framework from Johns Hopkins shows how quantum noise spreads through processors, helping scientists classify disturbances.
A University of Idaho researcher has established a network of field-based monitoring stations throughout southern Idaho, generating data to develop and improve models assessing the volume of water lost from crops through evapotranspiration (ET).
A team from the Johns Hopkins Applied Physics Laboratory (APL) in Laurel, Maryland, and Johns Hopkins University in Baltimore has broken new ground in understanding quantum noise -- a major source of error in quantum computing. Their findings, published in Physical Review Letters, address a critical challenge that must be solved to develop useful quantum computers.
Livestream giant Twitch will be forced to remove all users under the age of 16 when Australia’s strict social media laws take effect next month, Canberra’s online regulator said Friday. From December 10, Australia will force social media platforms including Facebook, Instagram and TikTok to remove users under the age of 16 or face hefty [...]The post Livestream giant Twitch to ban under-16s in Australia appeared first on Digital Journal.
Chemist Bruce Moyer, a Corporate Fellow at the Department of Energy's Oak Ridge National Laboratory, has won the 2025 Carl Hanson Award, the highest international recognition for achievement in solvent extraction.
Violence against women remains one of the world's most persistent and under-addressed human rights crises, with very little progress in two decades, according to a landmark report released today by the World Health Organization (WHO) and UN partners.
WCS commends the appeal made by Central African countries and regional institutions, partner countries, development banks, private partners and philanthropic organizations to support the Belem Call to Action for the Congo Basin Forests, presented by the ministers on 18 November, as part of the CoP30 Thematic Days on forests.
Breaking News: Newly-Discovered Sideways Lines Might Trace the Release of Smaller Objects by... Avi Loeb – MediumNASA Releases Images of Comet 3I/ATLAS: It ‘Doesn’t Look Like a Spacecraft’ The New York TimesNASA releases close-up images of interstellar comet making a rare flyby CBS NewsNASA unveils new close-up images of massive comet from outside solar system ABC NewsNASA releases new photos of interstellar comet 3I/ATLAS NBC News
A new study led by Iowa State University ecologists found the base rate of organic carbon decomposition in soil across the U.S. can vary by as much as tenfold, in part due to geochemical and microbial factors often underrepresented in current Earth system models.
Two researchers in the College of Engineering at The University of Alabama in Huntsville (UAH) have received a grant from Titomic, Ltd., to develop a novel cold-spray gun that will use the flow of high-speed particles to repair damaged surfaces in engineering hardware without welding or the need of a blow torch. Professors Sarma Rani and Judith Schneider, from the Department of Mechanical and Aerospace Engineering (MAE) at UAH, a part of The University of Alabama System, are working to develop a computational model, as well as fabricate the advanced cold-spray gun, a project scheduled to run for one year.
For more than 60 years, the High Flux Isotope Reactor has produced neutron beams for the benefit of society, creating real-world impacts that span energy security, quantum computing, healthcare, national defense and advanced materials.
*Traces of bacteria were found inside of brain tumors, which could impact tumor behavior*Inflammation drives early-stage lung cancer, and targeting inflammatory pathways could be a therapeutic strategy*HSP90 can mask negative effects of BRCA1 mutations, presenting a target to help overcome treatment resistance
TAPAUA, Brazil (AP) — Environmental agents from Brazil’s Chico Mendes Institute released giant Amazon River turtle hatchlings into the waters of the Abufari Biological Reserve in Tapaua, Amazonas state, as part of a long-running conservation program. The reserve, home to...
A new study has found African lions produce not one, but two distinct types of roars—a discovery set to transform wildlife monitoring and conservation efforts.
OHSU scientist collaborating to improve understanding of blood vessel function.
Check out some of the new images NASA missions have captured of comet 3I/ATLAS as it makes its way across the Solar System.
.jpg?h=d1cb525d&itok=bCcTOg0L)
Dartmouth biologists study the cause of a critical DNA reorganization.
If there's one thing that's certain in a digital world, it's that we are surrounded by ever-increasing amounts of data. From your daily step counts to weather reports to global market trends, data is everywhere.
It is a simple equation, especially for a mathematician. Loved ones, plus food, equals good times.
COLUMBUS, Ohio - Monica Giusti studied two test tubes partially filled with a light lilac-colored liquid. A perplexed look crossed her face. The Ohio State...
(MENAFN - EIN Presswire) EINPresswire/ -- The global precision fermentation industry generated $1.3 billion in 2021, and is anticipated to generate $34.9 billion by 2031, witnessing a CAGR of 40.5% ...
Not long ago, the idea of diagnosing a disease with a droplet of blood was considered a pipe dream. Today, this technology could soon become a reality.
(MENAFN - Market Press Release) November 19, 2025 4:37 am - Apelo Consulting has released a report on "Global Digital Therapeutics Market (By Component, Application, End User, Region), Key company ...
(MENAFN - Market Press Release) November 19, 2025 3:36 am - The Automated Machine Learning (AutoML) market was valued at USD 2,132.6 Million in 2024 and is expected to register a revenue CAGR of ...
As our evolution slows and industrialization and technology accelerates, a growing body of research suggests that human biology is struggling to keep pace. Many of the chronic stress-related health issues we face today aren’t personal failings or modern inconveniences – they’re the predictable result of forcing Stone Age physiology into a world it was never built for.Continue ReadingCategory: Biology, ScienceTags: University of Zurich, anthropology, Anthropocene, Evolution, Human, nature, Urban Planning
Denton Loudermill Jr. watched every Kansas City Chiefs game at his sister’s house with his family. The Kansas native and his late father were diehard fans. So, when the 2024 Super Bowl champions’ victory parade coincided with the one-year anniversary of his dad’s death, Loudermill thought attending would be healing. He donned a Chiefs-red sweatshirt, [...]The post Grieving family blames false US shooting accusations for death of NFL fan appeared first on Digital Journal.
Pecans, America's only native major nut, have a storied history in the United States. Today, American trees produce hundreds of millions of pounds of pecans—80% of the world's pecan crop. Most of that crop stays here. Pecans are used to produce pecan milk, butter and oil, but many of the nuts end up in pecan pies.
(MENAFN - GlobeNewsWire - Nasdaq) Laser Printer Market driven by rising office automation, high-speed printing demand, cost efficiency, improved print quality, expanding SMB usage, and growth in ...
CAPE CANAVERAL, Fla. — NASA unveiled close-up pictures on Wednesday of the interstellar comet that’s making a quick one-and-done tour of the solar system.