Search fresh public links, source activity, and ready-to-use post angles for Mathematics And Computation.
Fresh curated links around Mathematics and computation are collected here so marketers can spot useful updates and turn timely ideas into posts faster.
Recent items include:
Recent curated links from global sources. Generate one free draft from any story, then use SocialBu to schedule and refine your content calendar.
The useful art of being deliberately, measurably approximate — and the trick hiding inside your calculator.Continue reading on Medium »
As AI continues to improve its reasoning abilities, mathematicians are increasingly worried about the computer algorithms replacing them. In late May, those fears got even worse wh...
I ran an experiment today to see whether Claude [1] could generate Lean code to prove a calculation at the bottom of this post, six lines of calculus. I started with this prompt Th...
Two computer programs are enjoying the new RAM that the computer's owner just put in their new computer. They decide to play a game with their new memory. Initially, all the bits i...
The Arithmetic Layer Beneath Financial Infrastructure Why pure mathematics is about to matter more t...
A 23-year-old student overturned an ancient conjecture about one of math’s simplest operations
The syntax and semantics of mathematics The post Introduction to Lean for Programmers appeared first on Towards Data Science.
A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline.
AI start-ups with hundreds of millions of dollars in funding are hiring mathematicians and building AI systems that they hope will not only solve mathematics, but also build more i...
Несмотря на все усилия Бурбаки, Коши и Вейерштрасса, подлинно формальные доказательства всегда оставались предметом теории, а не практики. Некоторые математики теперь надеются, что...
International Mathematical Union endorses warning about tech industry influence.
New results challenge AI’s promise for solving how fluids swirl—and suggest a more human path forward
The Mathematics That Could Rewrite Banking Regulation Three solved problems in game theory have di
At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI
Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there will still be room for humans
Источник: Компьютерра - Журнал о науке и технологиях Недавно состоялась встреча математиков, посвященная влиянию искусственного интеллекта на их дисциплину. Поводом для обсуждения...
Yesterday I was standing in a checkout line behind a guy arguing with a cashier. The sign said 70% off, and there was a smaller sign…Continue reading on Medium »
AI is reshaping math—and how mathematicians work. That's fine, but experts want some clear standards.
The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the 10 questions basically right
Who needs compute-hungry multiplications when you can just add logarithms
How did I go from Cat to Math? Explain your reasoning. $$MO(W)=E$$
Problems that defeated human mathematicians for decades are now solved, but for whose benefit? The post AI-led solutions of Erdős problems spark debate over the future of mathemati...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.
Use SocialBu to discover ideas, generate post drafts, and schedule them across your social channels.