Rise of computer program Lean has changed the field of mathematics — and how we assess the truth

There are two age-old laments about mathematics which persist to this day. The first is that either ourselves or someone we know will express that they are not a math person — an admission that we are not good at math, or that somehow we are not hardwired for it. But we don’t tend to admit the same for reading, writing, child rearing, cooking or other skills that we deem inherent to the human experience.

The second lament is one that asks why we even learn math. “We’ll never use this in the real world,” goes the saying, particularly within the context of pre-calculus mathematics or calculus itself.

Both of these laments are regrettable, and most certainly need to be corrected by the public education system. Because, as author Kevin Hartnett argues in his latest work, The Proof in the Code: How a Truth Machine is Transforming Math and AI, mathematics is not only the language of the universe, but also a pathway to learning how to reason and seek truth.

Mathematics, ergo, is the language, both the physical and the metaphysical.

Can federal legislation effectively rein in social media’s opaque algorithms and deceptive design features?

In June, when Ottawa introduced Bill C-34, the Safe Social Media Act, one element — plans to block children under the age of 16 from certain social media platforms — dominated headlines and fuelled debates.

But this marks just one component of a complex, 92-page bill that would enact two separate pieces of legislation: the Digital Safety Act and the Digital Safety Commission of Canada Act.

The Free Press took a close look at the tabled bill, breaking down the changes it would make, if passed.

Heritage Minister Marc Miller, whose department is responsible for the file, told reporters in June the bill meant to ramp up Canada’s oversight of Big Tech.

Some US adults are using AI for financial guidance but few trust it, Gallup poll finds

NEW YORK (AP) — Some U.S. adults are using artificial intelligence for financial guidance, but it’s far from the most trusted source of advice, according to a new Gallup survey conducted in partnership with Edward Jones, a financial services firm.

About 1 in 5 Americans who have sought financial advice in the past year turned to AI, the survey found. But among U.S. adults overall, only about 3 in 10 have “a great deal” or “some” confidence in its expertise for managing money, according to the survey, including just 3% who trust AI “a great deal.”

The poll, which was conducted in the spring and looked at the views of adults who are at least 21, found a disconnect between the resources Americans trust for financial advice and the ones they actually rely on. About 8 in 10 U.S. adults have at least “some” confidence in financial advisers. But only about one-third of U.S. adults who sought financial advice turned to a professional financial adviser, with far more, 73%, saying they relied on their own internet research.

As the use of AI increases, financial experts say consumers should be cautious about fully trusting these tools. Using AI as a tool at the start of a learning journey and then combining this knowledge with other trusted sources can be the best way to engage with new and traditional financial guidance tools, said Taha Choukhmane, associate professor at MIT’s Sloan School of Management.

California tech company sees Manitoba as strategic gateway to dairy market

GROSSE ISLE — An AI-first California-based company that creates software for the dairy industry is establishing its Canadian headquarters in Winnipeg.

Spade Technologies announced Thursday it will build a team in Manitoba, positioning the province as the centre of its Canadian operations and a strategic gateway to the broader North American dairy market.

The company’s Canadian expansion is backed by SVG Ventures Thrive, a global agrifood innovation and investment platform. The Silicon Valley-based organization is investing $1.4 million into Spade via its Pioneer Fund, which invests in high-growth, early-stage agrifood technology companies.

The fund is backed by Farm Credit Canada as its anchor investor, alongside strategic limited partners including the Manitoba First Fund.

Court orders Instagram and Facebook’s Meta to pay $567M to address kids’ mental health online

A New Mexico court has ordered Instagram and Facebook parent company Meta to pay $567 million to address harms to young people from its platforms in the second phase of a landmark trial.

Judge Bryan Biedscheid said in a ruling late Thursday that the bulk of the money — $420 million — will be used for treatment services for young people. The rest will go toward awareness and prevention, screening services and other costs over the next five years.

The new penalty is in addition to the $375 million in civil penalties that jurors ordered against Meta in March after determining the company knowingly harmed children’s mental health and concealed what it knew about child sexual exploitation on its platforms. In the second phase, prosecutors asked the judge to impose fundamental changes at Meta aimed at reining in addictive features, improving age verification and preventing child sexual exploitation through default privacy settings and closer oversight.

The total amount Meta is responsible for — $942 million — is a small fraction of of its annual profit, which was about $60 billion in 2025. Investors seemed to shrug off the New Mexico ruling in after-hours trading Thursday, sending Meta’s stock down less than half a percent to $589.44.

Environment Canada upgrade expected to improve dangerous weather warnings after June storm alert barrage

A new Environment Canada system that will better pinpoint who receives warnings about dangerous incoming weather is coming just weeks after some Manitobans received more than 20 alerts in a matter of hours before and during a massive storm.

The upgraded system, set to launch Tuesday, will focus on targeting areas most affected by severe thunderstorms or tornadoes instead of sending region-wide alerts, using a model based on “free-form polygons,” which allows meteorologists to specifically outline the area where a storm is headed.

“People in Canada will receive more precise severe thunderstorm and tornado warnings faster,” Samantha Bayard, a spokesperson for Environment and Climate Change Canada, said in an email Thursday.

“This will give everyone the information they need to act quickly and stay safe.”

Winnipeg artist RYAN AD's ambitions growing as work reaches Paris

RYAN AD is Jamaican-Grenadian, lives in Winnipeg and receives iPhone notifications in French.

One of these notifications recently gave the photographer (who goes by his artist name) good news: a prestigious Parisian art gallery was interested in featuring two of his photographs in one of its exhibitions. One was captured in Manitoba, the other in Jamaica.

“I felt a constant sense of community in Jamaica. You’ll walk down the road and people will talk to you,” he says. “Here you have to be buying something to exist in most places.”

One photo, entitled Born Underwater, is a gentle depiction of Lake Winnipeg, reminiscent of Wanda Koop for its symmetry and pastel-like softness. The other, Myself When Young, shows a man leaning on an old car with its hood popped, a glimpse into Jamaica’s culture of repair and resourcefulness.

Even AI has to watch its diet

Imagine going to your doctor and have that doctor tell you how much they like a new health app — but when you ask them whether their family likes it, the doctor says “Oh, I don’t trust it enough to let them use it.” Or having your general contractor extol the benefits of robotic construction workers — while bluntly saying he’d never use them to work on his home.

Well, enter AI.

For the last nine months or so, there have been recurring stories about AI companies buying up huge stockpiles of rare and out-of-print books, and “harvesting” — and destroying — the physical books to train their AI models.

Plenty of people questioned the stories, and went to Snopes to see if there was any truth to the claim.

Ottawa awards Telesat $2.3B Arctic military satellite contract

OTTAWA - A Canadian telecommunications firm has signed a deal with the federal government worth $2.3 billion to provide high-speed satellite communications to the Canadian Armed Forces in the Arctic.

The federal Defence Investment Agency and Telesat LEO announced the deal on Monday. The contract is meant to secure broadband coverage in remote northern locations for a range of Canadian military activities, including Norad.

This is the largest contract ever for the Ottawa-based Telesat, which has been in operation for about 60 years. It's expected to give the company's network growth plans a major boost.

Telesat CEO Dan Goldberg said the contract will allow his firm to increase the size of its planned low-Earth orbit satellite network by about 44 per cent by adding another 69 satellites.

Years after the pandemic, MPs are divided on hybrid Parliament rules

OTTAWA - During the pandemic, members of Parliament began voting and attending committee meetings from home. Six years later, Parliamentarians are divided over whether those hybrid rules should remain in place.

In March 2020, the House of Commons adopted a motion allowing the health and finance committees to meet virtually. Four months later, the first House of Commons sitting took place in hybrid format, with some members attending the Commons chamber in person and others dialing in by video conference.

Today, it's common for members of Parliament to cast votes on their phones during announcements, or even while they're out to dinner.

At the U.S.-Canada Summit in June, AI Minister Evan Solomon paused a discussion to vote from his phone.

FCC chairman defends actions against ABC, says broadcasters must operate ‘in the public interest’

Federal Communications Commission Chairman Brendan Carr on Friday defended his agency’s recent actions against ABC, saying broadcasters have a duty to “operate in the public interest” and the FCC is merely trying to restore that standard.

Broadcasters like ABC, Carr said in an interview on the Fox Business Network, “struck a deal with the American people. You broadcasters get subsidized access, free access to a valuable public resource, the airwaves, worth billions of dollars. In exchange, you have to operate in the public interest.”

“Look, as a country, we should have a trusted, respected news media, and we’re not there,” Carr told anchor Maria Bartiromo. “So I hope more broadcasters return to their public interest obligations.”

The FCC has been pushing ABC

Government wants public input on use of AI

The province says it’s taking the lead when it comes to cybersecurity and artificial intelligence, but is it moving in the right direction?

Anthropic says its AI models hacked 3 organizations during testing

Anthropic said its artificial intelligence models hacked into three other organizations during testing, just days after ChatGPT maker OpenAI raised concerns over AI controls after it disclosed its rogue models hacked another company.

Anthropic, the San Francisco-based AI company behind Claude, posted on its website Thursday that it discovered the three incidents after reviewing more than 141,000 evaluation runs.

It had launched a “large-scale” cybersecurity review which specifically looked for evidence whether its AI models were able to access the internet from within testing environments that should have been sealed off, in response to the OpenAI incident, Anthropic said.

Anthropic said the models involved in the incidents were Claude Opus 4.7, Claude Mythos 5 and an internal research test model. The earliest incidents date to April, the AI company said.

Some robotaxis approved to operate without steering wheels and losing the brake pedal could be next

LAS VEGAS (AP) — Federal regulators are clearing the way for robotaxis to operate without manual controls like steering wheels or eventually even brake pedals as the rules start to catch up to the evolving technology.

Amazon’s fully autonomous Zoox vehicles got approval Thursday to begin charging customers for rides in the specially designed cars that feature four inward-facing seats once they secure state and local approval. Zoox has already been offering free rides in Las Vegas and San Francisco since last year. At least a couple people were waiting at most stops Thursday afternoon for rides up and down the Vegas strip aboard one of the distinctive boxy-shaped vehicles.

“It’s kind of scary at first, but when I just got used to it, it’s really cool and chilling. I really liked the music and how you can adjust the temperature,” Chloe Huu from Ann Arbor, Michigan, said after taking a ride in a Zoox Thursday. But the projected wait time for the ride kept changing, which made it hard to plan.

The National Highway Traffic Safety Administration also proposed a rule last month to allow robotaxis to operate without brake pedals, but that proposal is still pending. Administrator Jonathan Morrison said his agency wants to update the regulations to fit these fully autonomous vehicles while still acting as the “cop on the beat to make sure that this is being done right.”

Bell rolling out new tool to detect and flag spoofed phone calls using AI

MONTREAL - Bell Canada is launching an artificial intelligence-powered feature that it says can identify and flag spoofed phone calls.

The telecommunications company says the tool will help protect customers against fraud involving caller ID spoofing, a tactic used by scammers to impersonate organizations, local businesses or personal contacts.

Steve Karan, Bell's vice-president of wireless products and logistics, says this adds "another powerful layer of protection" to keep Canadians safe as phone fraud grows more sophisticated.

It builds on Bell's suspicious call detection feature launched last year, which uses artificial intelligence analytics to monitor incoming calls in real time and alert customers to potential spam or fraud.

Manitoba Innovates seeks to pump up in-person networking as artificial intelligence-created resumés become norm

The average job seeker has a resumé ghost writer: artificial intelligence.

Many Manitoba businesses are flooded by AI-generated resumés and, in turn, use AI to filter the tide. In response, Manitoba Innovates — a startup incubator — is launching an initiative to lead more in-person networking.

“We’re still looking for authenticity in people,” said Ron Cantiveros, manager of the incubator’s new career catalyst program.

“We’re looking for innovative ways to … attract talent, but also verify and qualify talent.”

Cultural consultation gives Indigenous stories strength in Netflix’s new Little House on the Prairie

Through her work as an Indigenous consultant for film and TV, Julie O’Keefe, a citizen of the Osage Nation, has brought accuracy and authenticity to works such as Martin Scorsese’s 2023 crime drama Killers of the Flower Moon, the 2025 western miniseries American Primeval and, most recently, Rebecca Sonnenshine’s new adaptation of Little House on the Prairie.

But she doesn’t work solo.

“One of the things that I always say is, in any of these jobs that I do — whether it’s Shoshone and Paiute and Ute or Osage — I never come alone to this,” says O’Keefe, who grew up in Pawhuska, Okla., the heart of the Osage Nation, and is now based in Santa Fe, N.M. “I engage because those stories are so much richer with our voices added to it, and we know that.

“I’m sitting down with brilliant directors, brilliant writers, and I’m handing over pieces of history that they’re like, ‘How come nobody knows this?’ And the great part is, this is the time in history … people are really starting to get on top of wanting this for their stories, because it really wasn’t of any importance before.”

Automation reaches new heights on farm

LANGHAM, Sask. — The thousands of farmers from across the Prairies who flock to the annual Ag in Motion show every July seem oblivious to the possibility the technology on display could one day replace many of them.

Families with children in tow, Hutterite colony workers, grandparents and young couples just starting out roamed through the 600 or more exhibitor displays, amazed at how everything about farming just keeps getting bigger, more efficient and increasingly more automated.

It’s now possible to seed using a 100-foot-wide drill — a 12-foot jump over the widest available a few years ago — provided the farmer can afford a tractor with enough horsepower to pull it. Those sell for around $850,000 and up.

Granted, the number of farms with enough acres to justify that kind of width and drawing power is still relatively small, but farms continue to grow. And it’s no secret the number of people who have the interest, skills and financial wherewithal to run them continues to shrink.

Banks seek to implement AI tools for customers … who love them until they don’t work

Few consumer-facing industries illustrate the potential and pitfalls of artificial intelligence more than the financial services sector.

Generative AI — the technology powering chatbots that can seemingly think and provide reasonably correct, if not insightful, answers to our questions — is arguably a wonder of the modern world.

The potential for providing financial advice is indeed palpable. Then again, it’s not hard to imagine the technology running amok especially with people’s money.

A recent report on digital banking services provides insight on the risks and opportunities.

Familles en transition: une réflexion sur une transition cruciale

À travers six épisodes et des conversations avec plusieurs parents et experts, France Adams en est venue à mieux se comprendre — et à mieux comprendre sa fille transgenre. Maintenant, elle revient sur son expérience et sur l’impact, l’importance et l’avenir du balado.

Pourquoi est-ce que tu as voulu faire ce balado?

Le but était de briser un peu la solitude et le stigmate auxquels nous faisons face. On entend parler de l’expérience de la personne transgenre, mais c’est comme si les parents vivaient dans le silence.

Est-ce qu’on est toujours avec notre enfant si on le verbalise? Est-ce qu’on a le droit de verbaliser ce qu’on ressent à l’intérieur? Est-ce que je suis seule à vivre ça? Tant et aussi longtemps que tu ne le verbalises pas, t’as l’impression d’être seule.

‘Existential’: Community papers struggling to survive amid Canada Post flyer delivery

MONTREAL - Community newspaper owners claim Canada Post is helping to drive some of them out of business thanks to an expanded partnership it forged with the country's largest printing firm.

Last month, the Crown corporation launched the countrywide rollout of a joint venture with Transcontinental Inc. known as Raddar, which saw Canada Post start delivering discount-deal leaflets in all 10 provinces.

Community newspapers have traditionally relied on flyer bundles to fund their publications, which are delivered free to millions of readers in urban and rural communities.

Paul Deegan, CEO of News Media Canada, which represents scores of community papers among the 550 news titles it advocates for, says those outlets are now losing ad clients after being undercut by a government-backed enterprise. The revenue loss threatens to shutter news outlets and leave residents less informed about their communities, he said.

Winnipeg-developed new app Hostly seeks to bring community together

Stephen Hua enjoys making connections.

“That’s my calling or my passion here, so to speak: to find ways to bring people together and plan events,” he said.

Over the last 25 years, Hua has pursued that passion as a live events promoter and restaurateur in Winnipeg. He’s the founder of the annual electronic music festival Summer of Sound, he’s organized local concerts by major musical acts such as Drake and Lady Gaga, and he co-owns Commonwealth Kitchen and Bar on Main Street.

Now, Hua is helping people make connections via a new app.