Connect with us

Tech

AI Proof Verification: Gauss Tackles 24D

Published

on

When Ukrainian mathematician Maryna Viazovska received a Fields Medal—widely regarded as the Nobel Prize for mathematics—in July 2022, it was big news. Not only was she the second woman to accept the honor in the award’s 86-year history, but she collected the medal just months after her country had been invaded by Russia. Nearly four years later, Viazovska is making waves again. Today, in a collaboration between humans and AI, Viazovska’s proofs have been formerly verified, signaling rapid progress in AI’s abilities to assist with mathematical research.

“These new results seem very, very impressive, and definitely signal some rapid progress in this direction,” says AI-reasoning expert and Princeton University postdoc Liam Fowl, who was not involved in the work.

In her Fields Medal–winning research, Viazovska had tackled two versions of the sphere-packing problem, which asks: How densely can identical circles, spheres, et cetera, be packed in n-dimensional space? In two dimensions, the honeycomb is the best solution. In three dimensions, spheres stacked in a pyramid are optimal. But after that, it becomes exceedingly difficult to find the best solution, and to prove that it is in fact the best.

In 2016, Viazovska solved the problem in two cases. By using powerful mathematical functions known as (quasi-)modular forms, she proved that a symmetric arrangement known as E8 is the best 8-dimensional packing, and soon after proved with collaborators that another sphere packing called the Leech lattice is best in 24 dimensions. Though seemingly abstract, this result has potential to help solve everyday problems related to dense sphere packing, including error-correcting codes used by smartphones and space probes.

Advertisement

The proofs were verified by the mathematical community and deemed correct, leading to the Fields Medal recognition. But formal verification—the ability of a proof to be verified by a computer—is another beast altogether. Since 2022, much progress has been made in AI-assisted formal proof verification.

Serendipity leads to formalization project

A few years later, a chance meeting in Lausanne, Switzerland, between third-year undergraduate Sidharth Hariharan and Viazovska would reignite her interest in sphere-packing proofs. Though still very early in his career, Hariharan was already becoming adept at formalizing proofs.

“Formal verification of a proof is like a rubber stamp,” Fowl says. “It’s a kind of bona fide certification that you know your statements of reasoning are correct.”

Hariharan told Viazovska how he had been using the process of formalizing proofs to learn and really understand mathematical concepts. In response, Viazovska expressed an interest in formalizing her proofs, largely out of curiosity. From this, in March 2024 the Formalising Sphere Packing in Lean project was born. Lean is a popular programming language and “proof assistant” that allows mathematicians to write proofs that are then verified for absolute correctness by a computer.

Advertisement

A collaboration bringing in experts Bhavik Mehta (Imperial College London), Christopher Birkbeck (University of East Anglia, England), Seewoo Lee (University of California, Berkeley), and others, the project involved writing a human-readable “blueprint” that could be used to map the 8-dimensional proof’s various constituents and which of them had and had not been formalized and/or proven, and then proving and formalizing those missing elements in Lean.

“We had been building the project’s repository for about 15 months when we enabled public access in June 2025,” recalls Hariharan, now a first-year Ph.D. student at Carnegie Mellon University. “Then, in late October we heard from Math, Inc. for the first time.”

The AI speedup

Math, Inc. is a startup developing Gauss, an AI specifically designed to automatically formalize proofs. “It’s a particular kind of language model called a reasoning agent that’s meant to interleave both traditional natural-language reasoning and fully formalized reasoning,” explains Jesse Han, Math, Inc. CEO and cofounder. “So it’s able to conduct literature searches, call up tools, and use a computer to write down Lean code, take notes, spin up verification tooling, run the Lean compiler, et cetera.”

Math, Inc. first hit the headlines when it announced that Gauss had completed a Lean formalization of the strong prime number theorem (PNT) in three weeks last summer, a task that Fields Medalist Terence Tao and Alex Kontorovich had been working on. Similarly, Math, Inc. contacted Hariharan and colleagues to say that Gauss had proven several facts related to their sphere-packing project.

Advertisement

“They told us that they had finished 30 “sorrys,” which meant that they proved 30 intermediate facts that we wanted proved,” explains Hariharan. A proportion of these sorrys were shared with the project team and merged with their own work. “One of them helped us identify a typo in our project, which we then fixed,” adds Hariharan. “So it was a pretty fruitful collaboration.”

From 8 to 24 dimensions

But then, radio silence followed. Math, Inc. appeared to lose interest. However, while Hariharan and colleagues continued their labor of love, Math, Inc. was building a new and improved version of Gauss. “We made a research breakthrough sometime mid-January that produced a much stronger version of Gauss,” says Han. “This new version reproduced our three-week PNT result in two to three days.”

Days later, the new Gauss was steered back to the sphere-packing formalization. Working from the invaluable preexisting blueprint and work that Hariharan and collaborators had shared, Gauss not only autoformalized the 8-dimensional case, but also found and fixed a typo in the published paper, all in the space of five days.

“When they reached out to us in late January saying that they finished it, to put it very mildly, we were very surprised,” says Hariharan. “But at the end of the day, this is technology that we’re very excited about, because it has the capability to do great things and to assist mathematicians in remarkable ways.”

Advertisement

A laptop with sphere packing code in the foreground, with an autumn sunset at Carnegie Mellon in the background. Hariharan was working on sphere-packing proof verification as the sun was setting behind Carnegie Mellon’s Hamerschlag Hall.Sidharth Hariharan

The 8-dimensional sphere-packing proof formalization alone, announced on February 23, represents a watershed moment for autoformalization and AI–human collaboration. But today, Math, Inc. revealed an even more impressive accomplishment: Gauss has autoformalized Viazovska’s 24-dimensional sphere-packing proof—all 200,000+ lines of code of it—in just two weeks.

There are commonalities between the 8- and 24-dimensional cases in terms of the foundational theory and overall architecture of the proof, meaning some of the code from the 8-dimensional case could be refactored and reused. However, Gauss had no preexisting blueprint to work from this time. “And it was actually significantly more involved than the 8-dimensional case, because there was a lot of missing background material that had to be brought on line surrounding many of the properties of the Leech lattice, in particular its uniqueness,” explains Han.

Though the 24-dimensional case was an automated effort, both Han and Hariharan acknowledge the many contributions from humans that laid the foundations for this achievement, regarding it as a collaborative endeavor overall between humans and AI.

But for Han, it represents even more: the beginning of a revolutionary transformation in mathematics, where extremely large-scale formalizations are commonplace. “A programmer used to be someone who punched holes into cards, but then the act of programming became separated from whatever material substrate was used for recording programs,” he concludes. “I think the end result of technology like this will be to free mathematicians to do what they do best, which is to dream of new mathematical worlds.”

Advertisement

From Your Site Articles

Related Articles Around the Web

Source link

Advertisement
Continue Reading
Click to comment

Leave a Reply

Your email address will not be published. Required fields are marked *

Tech

How to Recycle Your Old Laptops and Printers for Free

Published

on

We’ve all got that “shelf of shame” — a graveyard of ancient laptops, tangled power bricks and printers that haven’t seen an ink cartridge since 2010. Letting this e-waste sit in your house is a waste of space, but most people assume that recycling tech requires a trip to a waste facility in the middle of nowhere. The reality is much simpler.

Major retailers like Best Buy and Staples have become drop-off hubs for your digital junk. You can walk into a store with a dead PC or a clunky old scanner and hand it over for free, regardless of where you bought it. Some of these places will even throw you a bone — like a discount on new gear or a trade-in credit — just for helping them reclaim the heavy metals and plastics that don’t belong in a landfill. It’s the easiest way to reclaim your storage space without feeling like a jerk for tossing electronics in the trash.

Advertisement

The only real “work” on your end is making sure you aren’t handing over your entire life history along with the hardware. Before you dump a device, you need to do a legitimate data wipe — not just drag files to the trash can. A 10-minute factory reset or a dedicated drive-scrubbing tool ensures your old tax returns and saved passwords don’t become someone else’s property. Stop acting like you’re going to “fix” that laptop from 2015 and let a professional recycler break it down for parts instead.

What to do before you recycle your old computer

Wherever you take or mail in your items to be recycled, you’ll want to protect your data by removing it as best you can. One way to do this is to perform a factory reset on your computer. Our guide walks you through the process.

Where to recycle your old printers and computers

Some retail stores will accept computers and printers for recycling, but it’s not always a free service. Policies vary by company.

Apple

You can recycle your old Apple computers, monitors and peripherals, such as printers, for free at an Apple store, but there’s a costly catch. According to the Apple Free Recycling program, you must purchase a qualifying Apple computer or monitor to receive this service. Need another option? A third-party company called Gazelle buys old MacBooks to recycle them. After accepting Gazelle’s offer, you print a prepaid label or request a prepaid box and ship the machine to them.

Advertisement

Read more: Phone and Laptop Repair Goes Mainstream With Push From iFixit

Best Buy

Best Buy generally accepts up to three household items per household per day to be recycled for free, including desktop computers and printers, as well as other items ranging from e-readers to vacuum cleaners. While three is the limit for most items, there’s a higher limit for laptops — Best Buy will take five of those per household per day. Note that rules for dropping off monitors vary by state, and it’s not always free to do so. Best Buy also offers a mail-in recycling service for select items, but that’s also not free. A small box that holds up to 6 pounds costs $23, while a large box (up to 15 pounds) costs $30. One CNET editor recently lugged in an old, nonworking tube TV-VCR combo for e-cycling, and was happy to pay $30 to be rid of it.

Office Depot 

Office Depot and OfficeMax merged in 2013. The retailers offer a tech trade-in program both in-store and online, where you may be able to get a store gift card in exchange for your old computers and printers. If the device has no trade-in value, the company will recycle it for free. Office Depot also sells e-waste recycling boxes that you can fill with electronics to be recycled and then drop off at the stores, but they aren’t free. The small boxes cost $8.39 and hold up to 20 pounds, the medium ones cost $18.29 and hold up to 40 pounds, and the large boxes cost $28 and hold up to 60 pounds.

Staples 

You can bring your old desktop computers, laptops, printers and more to the Staples checkout counter to be recycled for free, even if they weren’t purchased there. According to a Staples rep, the retailer also has a free at-home battery recycling box, which has led customers to recycle thousands of batteries per week, up from an earlier average of 50 per week. Here’s a list of everything that can be recycled at Staples.

Advertisement

Watch this: Give Your Old Phone a Second Life: The Right Way to Recycle and Reuse It

Where to find electronics recycling centers

If you don’t live near a major retailer or would rather take your computers and printers to a recycling center, you can locate places near you by using search tools provided by Earth911 and the Consumer Technology Association.

Earth911

Use the recycling center search function on Earth911 to find recycling centers near your ZIP code that accept laptops, desktops and printers. Note that the results may also turn up places that accept mobile phones and not computers or printers, so you may have to do a little filtering.

Greener Gadgets

Consult the Consumer Technology Association’s Greener Gadgets Recycle Locator to find local recycling centers in your area that will take old items. The search function also allows you to filter the results to separately hunt for places that take computers versus printers.

Advertisement

Source link

Continue Reading

Tech

OPPO Find X9 Ultra Set for Global Release With Next-Gen Camera Tech

Published

on

After the success of the Find X9 series in pushing camera boundaries, the Chinese smartphone maker has just had its “one more thing” moment. It’s just officially confirmed that the OPPO Find X9 Ultra will make its global debut later this year. For the first time, OPPO’s Ultra platform will expand beyond China, which is the most exciting thing I’ve heard in a long time.

The announcement was made during OPPO’s media event in Barcelona, where the company positioned the Find X9 Ultra as its most advanced imaging smartphone yet.

OPPO Find X9 Ultra Going Global

Until now, OPPO’s Ultra-branded flagships have largely been limited to China. With the Find X9 Ultra, that changes. The company has confirmed that the device will launch globally.

Elvis Zhou, CEO of OPPO Europe, addressed the growing use of the “Ultra” branding across the industry. “In 2026, many devices will carry the ‘Ultra’ label. We believe the title must be earned. With Find X9 Ultra, we are setting a new benchmark for mobile imaging,” Zhou said.

Advertisement

Unfortunately, while no camera specs have yet been revealed, OPPO says the Find X9 Ultra combines next-generation optical engineering with refined computational imaging. Rumors have hinted towards a 200MP 1/1.28″ ultra-large sensor periscope telephoto lens, and a 50MP 10X periscope telephoto lens. Though these speculations should be taken with a grain of salt.

Source link

Continue Reading

Tech

C64 Gets A Modern Interactive Disassembler

Published

on

If you want to pull apart a program to see how it ticks, you’re going to need a disassembler. [Ricardo Quesada] has built Regenerator 2000 for just that purpose. It’s a new interactive disassembler for the Commodore 64 platform.

Naturally, Regenerator 2000 is built with full support for the 6502 instruction set, including undocumented op-codes as well. It’s able to automatically create labels and comments and can be paired with the VICE C64 emulator for live debugging. You can do all the usual debug stuff like inspecting registers, stepping through code, and setting breakpoints and watchpoints when you’re trying to figure out how something works. It can even show you sprites, bitmaps, and character sets right in the main window.

Files are on Github if you’re ready to dive in. You might find this tool to be a useful companion to C64 assembly tools we’ve featured previously, as well. If you’re pulling off your own retro development hacks, be sure to notify the tipsline.

Advertisement

[Thanks to Stephen Waters for the tip!]

Source link

Advertisement
Continue Reading

Tech

Smart Glasses, AI Wardrobes and Cute Bots: Stroll Down Android Avenue at MWC 2026

Published

on

Nestled between two conference halls at Mobile World Congress in Barcelona is a pathway lined with Google’s latest tech — and its cutest robot figures. Here, spectators can step inside homey, wood-paneled booths and try out features across Pixel, Android XR and Search. Welcome to Android Avenue. 

I swung by Google’s setup to check out demos for its latest products and features. Greeting me at the entrance and setting the scene was an adorably colorful Android statue waving hello.

Advertisement
A blue and green Android statue with its arm up waving hello

CNET’s Tara Brown and I hold up our access stickers in front of a matching Android.

Abrar Al-Heeti/CNET

In one booth, I tried on the Android XR smart glasses prototype for the first time and explored some promising use cases. I saw and heard real-time, AI-powered translations through the glasses as a Google employee spoke to me in Spanish. I also followed a Google Maps overlay that guided me along my route without obstructing my vision, thanks to the display projected onto the right lens. 

Google Android XR

Android XR glasses tap the Gemini AI assistant.

Advertisement

Andrew Lanxon/CNET

Hot off the heels of Samsung’s S26 launch, Google demoed a new Gemini capability that takes on a more assistive role. You can long-press the power button and ask Gemini to plan a vegetarian tapas tour, for instance, then have it drop that information in a Google Keep note, all through voice command. 

Other use cases include having Gemini book an Uber for you, which it’ll do in the background so you can keep using other apps on your Galaxy S26 phone. 

Gemini demo on Galaxy S26 Ultra

Gemini handles tasks like calling an Uber or helping to plan and jot down an excursion.

Advertisement

Andrew Lanxon/CNET

In another booth, I toyed around with an update to Google’s Circle to Search that’ll simultaneously find all the pieces of an outfit on your screen, then let you try them on virtually. 

After long-pressing the home button and circling a picture of an ensemble I liked, Google showed a list of product results for each element. Tapping “try it on” generated a lifelike image of me wearing the orange-red pants I was eyeing. 

Amusingly, the AI took the liberty of replacing my real-life dress and jacket with a black T-shirt. It’s not the first time Gemini has decided to play around with the parameters of my modest clothing, but hopefully it’ll get better at avoiding those gaffes with time.

The Circle to Search update is rolling out on the Galaxy S26 series and Pixel 10 devices.

Advertisement
Circle to Search try on

Those arms are AI-generated — as is the whole outfit.

Andrew Lanxon/CNET

A man in a beige top standing next to an AI-generated simulation of him wearing a grey sweater

Circle to Search may have done a better job with Patrick Holland’s ensemble.

Advertisement

Andrew Lanxon/CNET

One of my favorite Pixel features lets you use Apple’s AirDrop and Android’s Quick Share across both ecosystems. With a couple of taps, I sent an image from a Pixel 10 phone to an iPhone, and also received one in return. The feature is also available on Pixel 9 devices.

A Pixel 10 device with Quick Share commands on the screen, and an iPhone in the background receiving an image

Quick Share/AirDrop compatibility makes it easier to transfer media between newer Pixel phones and iPhones.

Andrew Lanxon/CNET

Seeing new tech is always neat, but what I really loved were these Android figurines that appeared to be cleaning a demo booth window. Such diligent little workers.

Advertisement
Two little green Android figurines with orange hats and buckets, as well as grey window wipers

I can’t get enough of these little guys.

Andrew Lanxon/CNET

And that wrapped up my tour of the block. At a tech conference largely dominated by monotonous booths, it was nice to get some fresh air, explore a few demos and, primarily, fawn over cute statues big and small.  

Advertisement

Source link

Continue Reading

Tech

Leon S. Kennedy is hiding a huge secret in Resident Evil Requiem, but you’ll need to beat the game first to figure it out

Published

on


  • Leon S. Kennedy is hiding a huge secret about himself in Resident Evil Requiem
  • The secret can only be discovered after you beat the game
  • Concept art also seems to confirm player’s theories

This article contains spoilers for Resident Evil Requiem.

Capcom has hidden a pretty huge secret about Leon S. Kennedy in Resident Evil Requiem that can only discovered when players reach the end of the game.

The latest entry in the Resident Evil franchise launched last week, and already, players are beating the game with some even on their second or third playthroughs.

Source link

Continue Reading

Tech

Building a Dependency-Free GPT on a Custom OS

Published

on

The construction of a large language model (LLM) depends on many things: banks of GPUs, vast reams of training data, massive amounts of power, and matrix manipulation libraries like Numpy. For models with lower requirements though, it’s possible to do away with all of that, including the software dependencies. As someone who’d already built a full operating system as a C learning project, [Ethan Zhang] was no stranger to intimidating projects, and as an exercise in minimalism, he decided to build a generative pre-trained transformer (GPT) model in the kernel space of his operating system.

As with a number of other small demonstration LLMs, this was inspired by [Andrej Karpathy]’s MicroGPT, specifically by its lack of external dependencies. The first step was to strip away every unnecessary element from MooseOS, the operating system [Ethan] had previously written, including the GUI, most drivers, and the filesystem. All that’s left is the kernel, and KernelGPT runs on this. To get around the lack of a filesystem, the training data was converted into a header to keep it in memory — at only 32,000 words, this was no problem. Like the original MicroGPT, this is trained on a list of names, and predicts new names. Due to some hardware issues, [Ethan] hasn’t yet been able to test this on a physical computer, but it does work in QEMU.

It’s quite impressive to see such a complex piece of software written solely in C, running directly on hardware; for a project which takes the same starting point and goes in the opposite direction, check out this browser-based implementation of MicroGPT. For more on the math behind GPTs, check out this visualization.

Source link

Advertisement
Continue Reading

Tech

5 F-150 Engines You Should Steer Clear Of

Published

on





The Ford F-150 has been one of, if not the best-selling new car in the U.S. for almost five decades. According to Business Insider, more than 33 million F-Series trucks have been sold since 1977, the majority of which were F-150s. Throughout such a rich and encompassing history, there have been many great F-150 engines. Think the 300-cubic-inch Inline Six, 5.8L 351 Windsor, 3.5L EcoBoost V6, all some of the best engines ever put in a Ford truck.

Some of these have even been the backbone on which the U.S. infrastructure was built, while others brought the F-Series into the 21st century. However, not all of Ford’s engines share the same sentiment as some have been less reliable or more controversial than others. Ownership experience can vary, but certain units are widely associated with recurring issues and costly repairs. Therefore, here are Ford F-150 engines you should steer clear of.

Advertisement

Ford 5.4L Triton V8

As Car Wizard put it bluntly, the engine is “my personal most hated engine on planet Earth.” He went further, calling the unit “absolute trash,” warning owners who defend it by saying their truck is still running to “just wait.” He also claimed, “I, personally, have replaced 14 of these… and it’s around six or seven grand a pop.” We also tried our best to find the worst engine Ford ever put in a truck, and you guessed it, it was the 5.4L Triton.

When it comes to Triton’s worst issues, spark plug-related problems of the early models are certainly up there. Besides them being incredibly difficult to remove without special tools (as acknowledged by Ford in TSB 08-7-6) the luckiest of drivers were even treated with plugs flying out the side of the cylinder heads due to bad cylinder head designs. Other common problems of the Triton include oil sludge buildup, timing system issues, fuel system module corrosion, and gasket and oil leaks.

Advertisement

Although Ford never recalled a vehicle due to the Triton engine, there have been numerous bulletins published. Variable valve timing problems, often described by owners and technicians as the “death rattle,” have also been associated with the 5.4L Triton. These seem to be largely linked to oil pressure–dependent cam phaser operation and sludge buildup.

Advertisement

Ford 3.5L EcoBoost V6 (earlier generations)

As a disclaimer, not all of Ford’s 3.5-liter EcoBoost engines are deserving of being on a “worst F-150 engines” list, but an exception has to be made for some of the earlier iterations. Specifically, pre-2015 EcoBoost V6 engines are associated with expensive timing chain problems, thus making them some of the worst Ford 3.5-liter EcoBoost years you should avoid. Once again, no recalls were ever carried out, but Ford did issue TSB 18-2305, TSB 15-0131, and TSB 21-2119 programs, all of which were related to cold-start rattle, variable cam timing component wear, and timing chain or phaser-related noise conditions on early 3.5s.

Besides timing chain problems, 2017 to 2020 models were also prone to cam phaser problems. Ford did issue the Ford 21B10 Service Action, which directly addressed cam phaser noise complaints on 2017 to 2020 vehicles equipped with the Ford 3.5L EcoBoost GTDI V6. The program extended repair coverage and instructed dealers to reprogram the powertrain control module in order to mitigate + cam phaser noise. In addition, a separate Ford 21N03 Customer Satisfaction Program was issued, providing a cam phaser replacement for vehicles that continued to exhibit problems after the update.

Other problems on earlier 3.5-liter EcoBoost engines include turbo coolant fittings leaking coolant, broken exhaust manifolds, and leaking vacuum pumps. Overall, the Ford 3.5-liter is far from being the worst engine Ford ever made, but given how earlier iterations of the engine had serious issues that can cost thousands of dollars to fix, it had to be included.

Advertisement

Ford 4.2L Essex V6

The Ford Essex V6 engine family earned its notoriety by replacing well-established V8 engines with comparably smaller yet similarly powerful V6 engines. However, when Flying Wrenches ranked Ford F-150 engines from best to worst, they placed the 1997 to 2008 Ford 4.2L Essex V6 in D (the lowest) tier, saying, “You know it’s going to let you down one day.” One of the main pain points of the 4.2L Essex V6 has to do with its intake manifold gasket failures.

If you are unlucky, you can experience coolant leaking into the cylinders which can hydrolock it and even bend the connecting rods. Ford did issue the TSB 99-20-7, addressing internal coolant leaks on 1995 to 1998 4.2-liter Essex engines caused by failing lower intake manifold or front cover gaskets. The bulletin outlines revised gasket designs and installation torque specifications in order to cope with the problem.

However, this did not stop the 4.2-liter V6 from suffering from similar issues found in Ford’s V8s. Besides the intake gasket problem, the 4.2 experienced problems with the timing cover gasket leaking and ignition problems. Timing cover problems were recognized by Ford with the 99B29 service program which required gasket replacements to combat the issue.

Advertisement

Ford Powerstroke 3.0L V6

The Ford Powerstroke 3-liter V6 was offered for F-150 models from 2018 and later, but it never really caught on. This Ford diesel pickup engine was discontinued in 2021 because it was caught in the midst of a semiconductor shortage crisis, while also because it was outsold by its own gasoline counterparts. Part of the reason why people choose diesels over gasoline trucks is towing, but the 3-liter Powerstroke was not really any better in this regard compared to available gas engines.

Additionally, it was a very difficult engine to work on since it was intended for Range Rovers, not F150s. Regardless, the main problems of the 3-liter Powerstroke include crankshaft bearing failures that could lead to engine failures. The truck also experienced problems with the EGR system, which could cause subpar performance and overheating issues. Besides these, owners have also complained about DPF problems and EGT system problems.

When Getty’s Garage did a deep-dive on why the 3-liter Powerstroke was discontinued, he mentioned that “It costs more to get, you know, relatively the same exact performance, so why would you get the diesel?” This was also reflected in the availability of aftermarket supports, meaning that it never truly caught on for the 3-liter. Even though this was a fairly economical engine, it was not strong enough for towing. Plus, it was not the most reliable, and it certainly wasn’t the one people wanted.

Advertisement

Ford 6.2L Boss

The Ford 6.2-liter Boss engine was introduced by Ford in 2010 and was reserved for the amazing V8 F150 Raptor until it was replaced by the new EcoBoost in 2019. Overall, it must be said that the 6.2 is not an engine you should steer clear of by itself since it has proven itself as a fairly durable platform. However, it is not perfect. This is especially the case when buying a used Ford F150 Raptor with the 6.2 that has not been properly taken care of. Things can turn south really quick.

The three most common problems with Ford’s 6.2L Boss engine include faulty spark plugs, broken valve springs, and oil leaks. In terms of spark plugs, this engine has 16 of them. They are not easy or quick to replace. When Chris from I Do Cars did a teardown of a Ford 6.2L Boss V8, he mentioned that “some of the early 62s have been notoriously bad for broken valve springs,” He later confirmed it by saying he tore one down and found “a mess inside.”

Advertisement

Oil leaks have typically been associated with internally leaking valve cover baffles on the right side of the valve cover. Ford issued the TSB 15-0161 which instructed dealers to replace affected cover assemblies to solve it. Overall, when maintained properly, the 6.2 is not likely to be one of the F150 engines to avoid, but given the problems some examples experienced and how much it costs to fix them, we decided to include it.

Advertisement

How we made our list

The Ford F-150 is a staple of American car culture. It is a truck that supports much of American daily life. It has been one of the best-selling vehicles for decades for good reason. It offers a strong balance of capability, practicality, and driving comfort, appealing both to people who need a work truck and those who simply want a reliable daily vehicle. 

However, given the size of the F-150 community, a wide range of issues has also been documented, and some engines have developed stronger reputations for problems. It is important to emphasize that all engines discussed here can still be reliable. We are not claiming that every 5.4-liter Triton engine will fail. Rather, according to tons of online data, these are engines that appear more likely to experience problems.

We reviewed numerous F-150 forum posts, mechanic expert reviews, teardowns, technical deep-dive videos, information from NHTSA databases, Ford service bulletins, service programs, and warranty extension notices. We also built upon the previous research conducted by our team on similar topics to make sure our list is credible and can easily be verified.  

Advertisement



Source link

Continue Reading

Tech

Functional Honor Robot Phone Debuts at MWC 2026, Boasts 200MP Camera on a Robotic Arm

Published

on

Honor Robot Phone Prototype MWC 2026
The Honor Robot Phone is officially out of the teaser phase and on full display at MWC 2026 in Barcelona, and what a show it put on. A functioning prototype was on display, demonstrating a smartphone with a camera attached on a small robotic arm, rather than just an afterthought to make the phone look flashier.



To fit the mechanism without making the phone a behemoth, Honor created an extremely compact bespoke micro motor that is 70% smaller than what is typically seen in a phone. When the phone is not in use, the arm pops out of a small compartment on the back, slides open a panel to expose the entire thing, and then tucks itself back in.

Sale


Google Pixel 10a – Obsidian – 128 GB with $100 Amazon Gift Card
  • Order the new Google Pixel 10a today and get an Amazon Gift Card; valid 2/18/2026 until 3/11/2026 at 11:59pm PT, while supplies last and subject to…
  • Return of Pixel 10a without gift card results in charge; offer cannot be combined, is non-transferable and not valid for cash or cash equivalent
  • If a qualifying item in your order is returned, you’ll be reimbursed for what you return, minus the value of the gift card

This camera serves as the phone’s expressive little face, with a 200-megapixel sensor and a four-degrees-of-freedom gimbal technology that happens to be the smallest of its kind, according to Honor. The gimbal has three-axis stabilization, so even when the arm moves about, the footage remains smooth as silk. The gimbal can perform a variety of precise movements, including tilting, panning, and rotating a full 360 degrees. In demos, it appears that the phone is attempting to converse with you, nodding in agreement, shaking its head no, tilting its head in curiosity, and bobbing along to the beat when music is playing. Honor customized a few melodies for these small rhythmic reactions, transforming the phone into a dance partner rather than a brick on a table.

Advertisement


However, AI drives the majority of the phone’s behaviour. Object tracking allows the camera to latch onto and smoothly follow someone during video conversations and recordings, eliminating the need for human corrections. They also have Super Steady Video mode, which compensates for arm shaking, and SpinShot, which allows for one-handed 90- or 180-degree spin shots, giving your videos a dramatic sense. They collaborated with ARRI Image Science to perfect the colors, highlights, and depth rendering, resulting in footage that looks professionally shot.

The prototype appears to be ready to go, as they used materials from their foldable phone experience to make the moving parts nice and robust. You’d have to be concerned about durability, of course; previous attempts with mechanical cameras have been questionable, but they say they’ve taken the phone through its paces in testing, so hopefully it’ll hold up well. The phone’s rear is slightly thicker due to the compartment and gimbal housing, but it still feels comfortable in the hand.


Honor is focused on what it calls “embodied AI,” meaning intelligence that shows up through movement rather than just voice responses or something confined to a screen. There is no information yet on the exact specs, such as the processor, battery, and display, or how much it will cost. It will be released in the second half of 2026, beginning in China, but that is all they are saying about global availability for the time being.

Advertisement

Source link

Continue Reading

Tech

The Return Of Measles Is Bad. A Polio Comeback Would Be So, So Much Worse

Published

on

from the on-the-horizon dept

We’ve talked a lot about the resurgence of measles in America over the past 14 or so months, and for good reason. It’s a horrible disease of historic significance. Equally historic was America achieving elimination status of the measles 26 years ago, only to see that almost certainly fall away thanks to the incompetence and inaction by Secretary of HHS, RFK Jr. This is all connected with a surge of anti-vaxxer nonsense that has proliferated across several decades, but which is now peaking thanks to the clowns this administration has put in charge of American health.

But as bad as the measles is, and it is really bad, it would be nothing to the visible horror show that any real return of polio in America would be. It was only weeks ago that the chair of ACIP, the CDC’s committee for recommendations on vaccine policies, wondered aloud if we should be vaccinating for polio any longer. Perhaps in part because of those comments, healthcare professionals throughout the country are ringing the alarm bells, warning that the country is in no way prepared for a return of polio.

Part of the problem, ironically enough, is that vaccines have done such a wonderful job of eliminating polio that healthcare professionals are no longer proficient in treating it.

“We don’t have a healthcare infrastructure to take care of a polio outbreak,” said Grace Rossow, an operating-room communications coordinator in Illinois, who has long-term health issues following a case of polio as an infant.

“They don’t know how to treat it. It is a massive problem if we have a resurgence of polio.”

Advertisement

Polio has no cure. Those who get it merely get their symptoms treated as best they can. Up to half of those who get the disease will suffer from long-term effects for the rest of their lives. Symptoms of post-polio syndrome include such fun things as increasing weakness in the muscles, fatigue, pain and muscle atrophy, problems breathing and swallowing, and an inability to be mobile without mechanical assistance. And that’s what you can deal with once you get past the acute symptoms, like paralysis in the lower extremities and the inability to breath without the help of an iron lung.

And if Polio does indeed return, it will be because selfish or misguided people, typically clinging to religious excuses that are simply unserious, have refused to be good members of their communities by getting them and their children vaccinated.

Art Caplan is a polio survivor, who has suffered from post-polio syndrome and now currently teaches medical ethics at NYU.

When Kirk Milhoan, the chair of the Advisory Committee on Immunization Practices, said the vaccine advisers were reconsidering routine childhood vaccines because the risks of illnesses such as polio had dropped, “that makes me furious”, Caplan said.

“If you could gather up the kids I saw die or become really severely disabled from 50 years ago, they would want you arrested … It’s horrifying, and the height of irresponsibility to leave the door open even a crack,” he continued.

Advertisement

As more families choose not to vaccinate, particularly after the US stopped fully recommending several key vaccines, Caplan said: “You are begging to have a recurrence of the disease.”

Betting on the return of a disease as infectious as polio while witnessing falling vaccination rates is an easy bet. That’s how these diseases work. And if the angry rash and a few dead children haven’t gotten through to the masses on the measles, I dare say that children with deformed and mangled joints, bones, and bodies, either stuffed into iron lungs or getting by with the help of dual walking canes, would likely clarify the minds of Americans on this matter.

But, and I cannot stress this enough, there is no reason we should have to sacrifice so many people, so many children, to re-convince ourselves to do the right thing.

Filed Under: anti-vaxxers, health, health & human services, measles, polio, rfk jr., vaccines

Advertisement

Source link

Continue Reading

Tech

Microsoft blocks the word 'Microslop' in Copilot Discord, and the server melts down

Published

on


Trouble began when users discovered that Discord messages containing the word “Microslop,” a mocking nickname for the company’s AI-heavy direction, were automatically blocked. Those attempting to post the word received a notice saying their message included a “prohibited phrase.”Screenshots spread quickly across social media, pushing what might have been a…
Read Entire Article
Source link

Continue Reading

Trending

Copyright © 2025