Aggregator

数学正在经历历史巨变

Solidot
3 months 3 weeks ago
数学家 Daniel Litt 去年三月打赌，他认为 AI 只有四分之一的概率到 2030 年能写出人类顶级数学家水平的论文。但一年之后他认为这个赌自己要输了。AI 解决问题和产生证明的能力进步之快令数学家倍感震惊。几年前它们甚至无法解决高中数学题，如今它们常常能解决数学家都感到棘手的难题。AI 开始挑战更复杂的数学问题，解决实际的研究问题，帮助自动验证前沿的数学证明——而验证这些证明通常需要数学家团队付出大量努力。AI 生成证明的速度比人类验证证明快得多，因此如果一个定理是由 AI 证明但没有人类去验证，那么它是否真的被证明了？AI 在这方面也能提供帮助。名为形式化的过程可以将自然语言证明翻译到计算机可验证格式。AI 公司 Math, Inc 最近宣布它的工具 Gauss 形式化了 2022 年菲尔茨奖得主 Maryna Viazovska 的得奖证明。证明代码大约有 20 万行。手工计算曾是数学家工作的重要组成部分，但如今这些都已自动化。AI 的进展也可能改变今天的数学。

Vicarius vIntelligence brings continuous risk validation and AI-driven security automation

Help Net Security
3 months 3 weeks ago

Vicarius has announced the launch of vIntelligence, a new product that introduces agentic intelligence and continuous validation to the company’s security portfolio. With this release, Vicarius becomes a two-product company. Its flagship platform, vRx, moves beyond detection to provide advanced, native remediation at scale. vIntelligence addresses a different but closely related challenge. While security teams have no shortage of findings, they often lack assurance. vIntelligence was built to continuously validate risk across fragmented security data … More →

The post Vicarius vIntelligence brings continuous risk validation and AI-driven security automation appeared first on Help Net Security.

Industry News

Meta Disables 150K Accounts Linked to Southeast Asia Scam Centers in Global Crackdown

The Hackers News
3 months 3 weeks ago
Meta on Wednesday said it disabled over 150,000 accounts associated with scam centers in Southeast Asia as part of a coordinated effort in partnership with authorities from Thailand, the U.S., the U.K., Canada, Korea, Japan, Singapore, the Philippines, Australia, New Zealand, and Indonesia. The effort also led to 21 arrests made by the Royal Thai Police, the company said. The action builds upon
The Hacker News

AI Security for Apps is now generally available

The Cloudflare Blog
3 months 3 weeks ago
Cloudflare AI Security for Apps is now generally available, providing a security layer to discover and protect AI-powered applications, regardless of the model or hosting provider. We are also making AI discovery free for all plans, to help teams find and secure shadow AI deployments.
Liam Reese

Meta turns to AI to sniff out scams on Facebook, Messenger and WhatsApp

Help Net Security
3 months 3 weeks ago

Meta’s new tools on Facebook, Messenger, and WhatsApp protect users from scams. They use advanced AI systems to analyze text, images, and surrounding context and identify sophisticated scam patterns. Facebook alerts for suspicious friend requests (Source: Meta) The systems detect impersonation of celebrities, public figures, and brands. They also identify deceptive links and domain impersonation and take action against content that redirects people to sites that mimic legitimate ones. “Across our apps, our systems find … More →

The post Meta turns to AI to sniff out scams on Facebook, Messenger and WhatsApp appeared first on Help Net Security.

Anamarija Pogorelec

Managed ad