We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
🎆🎊 Happy New Year, database community! We're kicking off 2025 with exciting news—the first issue of VLDB 2025 (Volume 18) is live!
Dive into the latest in DB research: 🔗 https://t.co/83mDUYiKPk.
Thanks to everyone who made this possible! 🙌
#VLDB2025#DatabaseResearch
Language is primarily a tool for communication rather than thought
https://t.co/lnjn3bcx0A
“Language is a defining characteristic of our species, but the function, or functions, that it serves has been debated for centuries. Here we bring recent evidence from neuroscience and allied disciplines to argue that in modern humans, language is a tool for communication, contrary to a prominent view that we use language for thinking. We begin by introducing the brain network that supports linguistic ability in humans. We then review evidence for a double dissociation between language and thought, and discuss several properties of language that suggest that it is optimized for communication. We conclude that although the emergence of language has unquestionably transformed human culture, language does not appear to be a prerequisite for complex thought, including symbolic thought. Instead, language is a powerful tool for the transmission of cultural knowledge; it plausibly co-evolved with our thinking and reasoning capacities, and only reflects, rather than gives rise to, the signature sophistication of human cognition.”
More exciting news! The programming contest page is here: https://t.co/hSyTOSzIzt The task: "build a blocking system for entity resolution". Take a look!
We are pleased to announce the SIGMOD 2022 programming contest: https://t.co/nZCXEmMehB
The task is blocking for Entity Resolution. More details about this challenge can be found on the contest page. Please refer to the website for contest rules.
@2022Sigmod
One PhD position in Modena on "Big Data and Artificial Intelligence for the enhancement of energy virtuosity", with 3yr scholarship.
DM me if interested. Retweet if not :)
https://t.co/7GrXkVIpte
Fun fact: in the '40s Alan Turing proposed using gin (yes, the alcohol) for data storage.
He said it had the acoustic properties to replace mercury as the medium for delay line memory, a precursor to RAM.
https://t.co/RaRdVW1kM6
#SIGMOD#sigmod2021 programming-contest is over! We asked students from the data management community to solve a challenging Entity Resolution problem. All the finalists surprisingly achieved f-score>.9!!
Finalists here: https://t.co/JJqYw6qCZh
@SIGMOD_2021@sigmod
SIGMOD 2021 - The early registration deadline is extended to *May 15*. It's free for students! $10 for ACM SIGMOD professional members. $20 for professional non-members. https://t.co/nacDa8DUvx