Connect with us

Press Release

Beyond Computation: How Neel Somani and ChatGPT Are Rewriting Mathematics

Published

3 months ago

on

California, US, 4th February 2026, ZEX PR WIRE, For decades, the “Erdős problems”, a collection of over 1,000 mathematical conjectures posed by the legendary Hungarian mathematician Paul Erdős, have served as a rigorous proving ground for the world’s brightest human minds. They range from deceptively simple number theory puzzles to complex combinatorial nightmares.

For a long time, the consensus was that Artificial Intelligence could handle calculation, but not creation. It could crunch numbers, but it couldn’t reason through abstract proofs.

That consensus just shattered.

Over a single weekend, Neel Somani, a software engineer and founder of the blockchain platform Eclipse, utilized OpenAI’s GPT 5.2 Pro to crack open Erdos problems that had remained unsolved for years. This wasn’t a case of a computer searching a database faster than a human; it was a case of an AI generating novel mathematical logic, formalized by a human expert.

We are witnessing a fundamental shift in the epistemological hierarchy of mathematics. The barrier between “human reasoning” and “machine processing” is dissolving, and Somani’s work provides the data to prove it.

The Weekend Win: Cracking Problem #397

Neel Somani, a former quantitative researcher at Citadel with a triple major from UC Berkeley, was stress-testing the reasoning capabilities of the new GPT 5.2 Pro model. He wasn’t looking for a calculator; he was looking for a co-author.

He fed the model Erdos Problem #397. After approximately 15 minutes of “thinking,” the model returned a full solution.

The problem asks for integer solutions to a specific binomial identity. To the layman, it looks like a jumble of variables. To a mathematician, it represents a precise relationship between numbers. The AI proposed that since $a$ can be chosen arbitrarily large, there are infinitely many distinct-index solutions.

Specifically, for an example where $a = 2$, the AI derived that $c = 49$, and the identity becomes:

$$ binom{2}{1} binom{49}{6} = binom{98}{3} binom{1}{1} $$

Somani reviewed the output. It wasn’t just hallucinated gibberish; it was sound logic. He formalized the proof using a tool called Harmonic and submitted it. The result? Accepted by Terence Tao, one of the most respected mathematicians alive today.

The AI had not only identified a solution but had effectively “reasoned” its way through a path that differed from previous partial attempts. While the model found a 2013 Math Overflow post by Harvard mathematician Noam Elkies regarding a similar problem, GPT 5.2 Pro’s final proof offered a more complete solution to the specific version posed by Erdős.

The “Unambiguous Instance”: Problem #281

If Problem #397 was a fluke, Problem #281 was the confirmation.

Neel Somani turned the model toward a covering system problem in number theory. The problem posits:

Let $n_1 < n_2 < dots$ be an infinite sequence such that, for any choice of congruence classes $a_i pmod{n_i}$, the set of integers not satisfying any of the congruences $a_i pmod{n_i}$ has density 0.

The question was whether for every $epsilon > 0$ there exists some $k$ such that the density of integers not satisfying the congruences is less than $epsilon$.

GPT 5.2 Pro generated a new proof. When Somani published the results, Terence Tao referred to it as “perhaps the most unambiguous instance” of AI solving an open problem.

This distinction is critical. In the past, AI “solutions” were often just efficient retrievals of existing literature. In this case, no prior solution was found. The AI bridged the gap between the known and the unknown.

The Data: Separating Genius from Hallucination

Skeptics often point to LLM hallucinations as a reason to dismiss their utility in rigorous fields. Somani, approaching this with the mindset of a quant and a computer scientist, decided to quantify the model’s actual efficacy.

He recruited a team of undergraduates to construct a dataset of ChatGPT responses to every open Erdos problem, 675 in total. The results provide a fascinating map of the current AI frontier:

  • Recited known literature: 618 (The AI acted as a search engine)

  • Incorrect: 17 (The AI hallucinated or failed)

  • Correct, known results: 12

  • New solutions to Erdos problems: 3

While 3 out of 675 might seem statistically small, in the world of high-level mathematics, it is monumental. It implies that for a specific subset of problems, the AI is already operating at the level of a published mathematician.

The “Long Tail” of Mathematics

Why is this happening now? Terence Tao, observing Somani’s progress, conjectured on Mastodon that AI systems are uniquely suited for the “long tail” of obscure Erdos problems.

Many of these problems are not “unsolvable” in the sense that they require a new branch of mathematics to be invented (like Fermat’s Last Theorem). Rather, they are tricky, labor-intensive, and obscure. They require connecting disparate axioms, Legendre’s formula, Bertrand’s postulate, the Star of David theorem, in novel ways.

This is where the scalable nature of AI shines. A human mathematician might spend a lifetime solving a dozen such problems. An AI, directed by a human operator like Somani, can attempt thousands in a day, clearing out the “clutter” of the mathematical landscape and leaving humans to focus on the deepest, most structural conjectures.

The Role of the Human Operator

It is important to note that GPT 5.2 Pro did not do this alone. It required Neel Somani.

Neel Somani’s background is pivotal here. As the founder of Eclipse, a Layer 2 blockchain platform that raised $65 million, and a former researcher at Citadel, he understands complex systems. His triple major from Berkeley in CS, Math, and Business gave him the vocabulary to prompt the model effectively and, more importantly, the expertise to verify the output.

The future of mathematics, and enterprise problem solving, looks exactly like this workflow:

  1. The Architect (Human): Identifies the problem and frames the prompt.

  2. The Engine (AI): Generates potential proofs, leveraging vast databases of axioms.

  3. The Verifier (Human/Formalization Tools): Tools like Lean or Harmonic are used to formally check the logic, ensuring the AI hasn’t made a subtle error.

The Future of Discovery

We are moving toward an era of “Formalization,” where labor-intensive verification is automated by tools like Harmonic’s Aristotle, and creative reasoning is augmented by models like GPT 5.2.

Neel Somani’s work with the Erdos problems is not just a “weekend win” for a crypto founder. It is a signal to every industry. If AI can reason through unsolved number theory, what can it do for supply chain logistics? For cryptographic security? For protein folding?

The tools are here. The frontier is open. The only question remaining is: what problem will you prompt next?

About Author

Cloud PR Wire

See author's posts

Disclaimer: The views, suggestions, and opinions expressed here are the sole responsibility of the experts. No Digi Observer journalist was involved in the writing and production of this article.

Related Topics:
Continue Reading

Press Release

Valetax Enhances Leadership Team with Appointment of John Taylor as CCO

Published

9 hours ago

on

May 6, 2026

By

Singapore, 6th May 2026, ZEX PR WIRE — Valetax has appointed John Taylor as Chief Commercial Officer (CCO), a move aimed at reinforcing its global commercial framework and supporting the company’s next stage of expansion.

John brings over 25 years of experience in global financial markets, with a background spanning senior leadership roles across Tier 1 investment banks and leading CFD brokerages. He has held board level positions including CEO, COO, CIO, and CFO, providing him with a well-rounded perspective on both strategic direction and operational execution.

Over the course of his career, John has worked across more than 20 countries and has been involved in growth initiatives across regions including MENA, South Africa, Brazil, India, Europe, and Southeast Asia. His experience includes business expansion, cross-border integration, and the development of operations in high growth markets, as well as involvement in mergers and acquisitions and post-acquisition integration.

In his new role, John will be responsible for leading Valetax’s global commercial strategy, with a focus on strengthening market structure, developing partnership networks, and aligning commercial initiatives with product and client experience priorities.

Viktor, CEO of Valetax, commented:
 “Bringing John into the business reflects our continued focus on building a strong and disciplined commercial organisation. His experience across international markets and leadership roles will support our efforts to scale effectively while maintaining a clear strategic direction.”

John Taylor said:
 “Valetax has established a solid platform, with a clear focus on technology, product, and client experience. There is a strong opportunity to further develop its commercial structure and expand its reach across key markets. I look forward to working with the team as the company continues to grow.”

The appointment underscores Valetax’s commitment to strengthening its leadership team as it continues to expand globally and enhance its offering as a technology focused brokerage.

About Valetax

Valetax is a global multi asset brokerage delivering a technology driven trading experience. The company offers advanced infrastructure, competitive conditions, and scalable solutions for traders and partners, with a focus on transparency, performance, and innovation.

About Author

Cloud PR Wire

See author's posts

Disclaimer: The views, suggestions, and opinions expressed here are the sole responsibility of the experts. No Digi Observer journalist was involved in the writing and production of this article.

Continue Reading

Press Release

Creeper Defeater Announces Skeeter Weeper 2.0, the Next Generation Smart Mosquito Fogging and Misting System

Published

9 hours ago

on

May 6, 2026

By

The new upgraded system delivers smarter app controls, expanded coverage, faster setup, and a more advanced plant powered formula designed to help families reclaim outdoor living.

United States, 6th May 2026 – CREEPER DEFEATER today announced the launch of Skeeter Weeper 2.0, the latest evolution of its smart mosquito fogging and misting system engineered to help homeowners defend outdoor spaces against mosquitoes and other pests without relying on harsh chemical pesticides. Building on the success of the original Skeeter Weeper system, the new 2.0 model introduces expanded smart functionality, enhanced treatment performance, improved convenience, and a refined natural formula designed for modern outdoor living. 

Skeeter Weeper 2.0 was developed to give homeowners greater control over pest management while prioritizing safety for families, pets, pollinators, and outdoor environments. The upgraded system combines app controlled precision fogging with a proprietary plant powered concentrate formulated to repel and eliminate mosquitoes, flies, gnats, fleas, ticks, no see ums, mites, aphids, and additional outdoor pests. 

“Outdoor spaces should feel relaxing and enjoyable, not overrun by mosquitoes and chemical heavy solutions,” said a spokesperson for CREEPER DEFEATER. “Skeeter Weeper 2.0 represents a major leap forward in smart outdoor pest defense. We focused on making the system more powerful, easier to use, and more compatible with the way families want to live outdoors today.”

Among the most significant upgrades in Skeeter Weeper 2.0 is its enhanced smart control platform. Homeowners can activate treatments directly from their smartphones and customize misting durations from as little as 10 seconds up to two minutes depending on weather conditions, infestation levels, and pest activity. The system allows users to control treatments remotely, helping create a more flexible and responsive pest management experience. 

The new generation system also expands scalable yard protection. Each additional unit is capable of adding approximately 1,000 square feet of treatment coverage, allowing users to customize protection for patios, pools, gardens, fences, entertainment areas, and larger outdoor properties. 

Designed with simplicity in mind, Skeeter Weeper 2.0 installs in under 10 minutes directly out of the box, eliminating the need for complicated professional installation often associated with traditional mosquito misting systems. 

At the core of Skeeter Weeper 2.0 is CREEPER DEFEATER’s upgraded proprietary eight ingredient formula featuring Lemon Balm, Frankincense Resin, Cedarwood Oil, Soy Oil, Thyme Oil, Geraniol, Mild Soap, and naturally occurring Vitamin E. The company states the new, optimized formula is four times more concentrated than leading competitors while excluding common ingredients considered problematic for pets or pollinators, including vinegar, alcohol, garlic, peppermint oil, and citronella oil. 

The formula was specifically developed to align with EPA FIFRA 25(b) minimum risk pesticide standards and avoid synthetic neurotoxins commonly associated with conventional mosquito control systems. According to CREEPER DEFEATER, the system is designed to be pet safe, child conscious, garden friendly, and pollinator conscious when used as directed. 

Skeeter Weeper 2.0 also introduces improved treatment flexibility. Users can target mosquito activity during key peak periods such as dawn and dusk or activate treatments immediately before outdoor gatherings. The ultra fine mist is designed to settle and blanket the treatment zone within approximately five minutes, helping the formula reach hard to access areas including nooks, crannies, moisture collection points, dense landscaping, and other environments where mosquitoes and pests commonly breed and hide.

Regular treatment cycles are designed to help interrupt mosquito breeding and reduce pest populations over time while maintaining short term protection for up to six hours depending on environmental conditions. 

As part of the launch, every Skeeter Weeper 2.0 system includes a complimentary on body bug spray and a free bottle of repellent concentrate with a refill plan purchase.

The launch comes amid growing consumer demand for alternatives to harsh chemical pesticides.

Skeeter Weeper 2.0 is proudly assembled in Dallas, Texas and is now available through CREEPER DEFEATER.

For more information visit CREEPER DEFEATER online or email Hello@CreeperDefeater.com.

ABOUT CREEPER DEFEATER

CREEPER DEFEATER develops premium natural pest control solutions designed to help homeowners protect indoor and outdoor spaces using plant powered ingredients and smart application systems. The company focuses on creating products that balance effectiveness, convenience, and safety for people, pets, and pollinators. 

Media Contact:

CREEPER DEFEATER
Media Relations Department
Dallas, Texas
Website: Visit CREEPER DEFEATER

Media Contact

Organization: Creeper Defeater

Contact Person: Support team

Website: https://creeperdefeater.com/

Email: Send Email

Country:United States

Release id:44764

The post Creeper Defeater Announces Skeeter Weeper 2.0, the Next Generation Smart Mosquito Fogging and Misting System appeared first on King Newswire. This content is provided by a third-party source.. King Newswire makes no warranties or representations in connection with it. King Newswire is a press release distribution agency and does not endorse or verify the claims made in this release. If you have any complaints or copyright concerns related to this article, please contact the company listed in the ‘Media Contact’ section

file

About Author

Cloud PR Wire

See author's posts

Disclaimer: The views, suggestions, and opinions expressed here are the sole responsibility of the experts. No Digi Observer journalist was involved in the writing and production of this article.

Continue Reading

Press Release

Creeper Defeater Announces Critter Cannon 2.0, an Upgraded Liquid Repellant Dispenser for Targeted, Pet-friendly Pest Control

Published

10 hours ago

on

May 6, 2026

By

The new handheld shooter features improved water-resistant formula performance, precision application, and a flexible refill program designed to help homeowners manage pests more effectively.

United States, 6th May 2026 – CREEPER DEFEATER today announced the launch of Critter Cannon 2.0, an updated liquid pest control dispenser engineered to give homeowners a more controlled and efficient way to manage unwanted pests without relying on harsh chemical pesticides. Building on the original Critter Cannon, the new 2.0 model introduces improved outdoor durability, enhanced application control, and an optimized plant-based formula designed for real-world conditions.

Critter Cannon 2.0 was developed to provide a more precise and responsive pest control experience while maintaining a strong focus on safety for pets, families, and the surrounding environment. The system combines a rechargeable electric handheld sprayer with an upgraded liquid repellant solution designed to deter a wide range of common pests in targeted areas such as gardens, patios, fence lines, and property perimeters.

“Pest control should be effective without being excessive or complicated,” said a spokesperson for CREEPER DEFEATER. “Critter Cannon 2.0 gives users a simple, controlled way to apply treatment exactly where it’s needed, with a formula designed to perform outdoors while remaining considerate of pets and the environment. It’s also a whole lot of fun to use!”

The Critter Cannon 2.0 features a dual-capacity system, including a high-capacity drum and a smaller magazine, allowing users to adapt to different treatment sizes and scenarios. The device delivers consistent bursts of liquid repellant at the push of a button, offering more control and accuracy compared to traditional spray methods.

At the core of the system is the upgraded Critter Cannon Ammo, an enhanced version of CREEPER DEFEATER’s plant-based pest control formula. The new formulation is designed to be more water-resistant, helping maintain effectiveness in outdoor conditions while reducing the need for frequent reapplication.

The formula avoids synthetic pesticides as well as commonly used natural irritants such as vinegar, alcohol, and peppermint. Instead, it uses a blend of plant-based ingredients including lemon balm, frankincense resin, cedarwood oil, soy oil, thyme oil, and geraniol, a compound naturally found in rose oil. A mild soap aids in even dispersion, while vitamin E serves as the preservative.

According to CREEPER DEFEATER, the upgraded solution is designed to deliver strong repellant performance while remaining safe for use around dogs and cats when used as directed, and considerate of pollinators and outdoor environments. The higher concentration of active ingredients is intended to provide improved performance compared to many conventional products that rely on harsher or more irritating components.

To support consistent use, CREEPER DEFEATER offers a subscription refill program for Critter Cannon Ammo. This program allows customers to receive refills on a regular schedule, helping maintain treatment consistency without the need for manual reordering.

The Critter Cannon system is assembled in the United States, reflecting the company’s focus on quality control and responsible manufacturing.

CREEPER DEFEATER also continues to support a broader mission beyond pest control. Ten percent of company profits are dedicated to initiatives focused on combating online predators and supporting safer communities through prevention, education, and resources for individuals and families.

Critter Cannon 2.0 is now available through CREEPER DEFEATER.

For more information visit CREEPER DEFEATER online or email Hello@CreeperDefeater.com.

ABOUT CREEPER DEFEATER
CREEPER DEFEATER develops premium natural pest control solutions designed to help homeowners protect indoor and outdoor spaces using plant-based ingredients and smart application systems. The company focuses on creating products that balance effectiveness, convenience, and safety for people, pets, and pollinators.

Media Contact:

CREEPER DEFEATER
Media Relations Department
Dallas, Texas
Website: Visit CREEPER DEFEATER

Media Contact

Organization: Creeper Defeater

Contact Person: Support team

Website: https://creeperdefeater.com/

Email: Send Email

Country:United States

Release id:44765

The post Creeper Defeater Announces Critter Cannon 2.0, an Upgraded Liquid Repellant Dispenser for Targeted, Pet-friendly Pest Control appeared first on King Newswire. This content is provided by a third-party source.. King Newswire makes no warranties or representations in connection with it. King Newswire is a press release distribution agency and does not endorse or verify the claims made in this release. If you have any complaints or copyright concerns related to this article, please contact the company listed in the ‘Media Contact’ section

file

About Author

Cloud PR Wire

See author's posts

Disclaimer: The views, suggestions, and opinions expressed here are the sole responsibility of the experts. No Digi Observer journalist was involved in the writing and production of this article.

Continue Reading

LATEST POST

Like Us
Follow Us
Subscribe Us
Follow Us