Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: math Clear Filter

Modular Interpreters and Visitors in Rust with Extensible Variants and CGP

news.ycombinator.com Unknown 2025-07-18 15:16:51

Programming Extensible Data Types in Rust with CGP - Part 2: Modular Interpreters and Extensible Visitors Posted on 2025-07-09 Authored by Soares Chen Discuss on Reddit, GitHub or Discord. This is the second part of the blog series on Programming Extensible Data Types in Rust with CGP. You can read the first part here. As a recap, we have covered the new release of CGP v0.4.2 which now supports the use of extensible records and variants, allowing developers to write code that operates on an

Topics: code context mathexpr output type
Read More
Shop Amazon

Grok 4 benchmark results: Tops math, ranks second in coding

bleepingcomputer.com Unknown 2025-07-25 14:35:10

Grok 4 is a huge leap from Grok 3, but how good is it compared to other models in the market, such as Gemini 2.5 Pro? We now have answers, thanks to new independent benchmarks. LMArena.ai, which is an open platform for crowdsourced AI benchmarking, has published the results of Grok 4. We're talking about Grok 4 API (grok-4-0709), which received about 4k+ community votes and ranks #3 overall in Text Arena. This is a huge leap from Grok 3, which ranked 8th. According to LMArena's tests, Grok 4

Topics: code coding grok heavy math
Read More
Shop Amazon

Hannah Cairo: 17-year-old teen refutes a math conjecture proposed 40 years ago

news.ycombinator.com Ágata A. Timón 2025-08-10 05:15:51

Hannah Cairo was stuck on a math problem. All she could think about during those weeks was a new approach. “After months of trying to prove the result, I managed to understand why it was so difficult. I realized that if I used that information correctly, I might be able to refute the claim. Finally, after several failed attempts, I found a way to construct a counterexample [a case that does not satisfy the studied property and therefore proves it is not universally true].” Ciaro says it required

Topics: cairo conjecture math problem says
Read More
Shop Amazon

Functions Are Vectors (2023)

news.ycombinator.com Max Slater 2025-08-10 05:18:35

Functions are Vectors Conceptualizing functions as infinite-dimensional vectors lets us apply the tools of linear algebra to a vast landscape of new problems, from image and geometry processing to curve fitting, light transport, and machine learning. Prerequisites: introductory linear algebra, introductory calculus, introductory differential equations. This article received an honorable mention in 3Blue1Brown’s Summer of Math Exposition 3! Functions as Vectors Vectors are often first introd

Topics: align begin bmatrix end mathbf
Read More
Shop Amazon

Scribble-based forecasting and AI 2027

news.ycombinator.com Unknown 2025-08-20 07:15:29

AI 2027 forecasts that AGI could plausibly arrive as early as 2027. I recently spent some time looking at both the timelines forecast and some critiques [1, 2, 3]. Initially, I was interested in technical issues. What’s the best super-exponential curve? How much probability should it have? But I found myself drawn to a more basic question. Namely, how much value is the math really contributing? This provides an excuse for a general rant. Say you want to forecast something. It could be when you

Topics: ai forecast like math model
Read More
Shop Amazon

Think of a Number

news.ycombinator.com View All Posts Xenaproject 2025-09-04 23:34:44

My feed was recently clogged up with news articles reporting that Sam Altman thinks that AGI is here, or will be here next year, or whatever. I will refrain from giving even more air to this nonsense by linking to the stories. This kind of irresponsible hype-generation drives me nuts (although it also drives up stock prices so I can see why the tech bros are motivated to do it). Sure AI can have a good crack at undergraduate mathematics right now, and sure that’s pretty amazing. But our universi

Topics: level mathematics need questions undergraduate
Read More
Shop Amazon

AI Isn't Magic, It's Maths

news.ycombinator.com Zero Fluff 2025-09-10 23:14:18

So much Hype…. Everyone’s talking about artificial intelligence these days. ChatGPT can whip up an essay or answer your questions like it reads your mind. Midjourney conjures up stunning art from a simple prompt. It almost feels magical. But here at Zero Fluff, we don’t do magic – we do reality. And the reality is: AI isn’t magic at all. It’s math. These AI systems are incredibly sophisticated, but they run on cold, hard calculations, not wizardry. In this no-nonsense guide, we’ll demystify AI

Topics: ai data gpt like math
Read More
Shop Amazon

New Apple study challenges whether AI models truly “reason” through problems

arstechnica.com Unknown 2025-09-18 00:56:47

In early June, Apple researchers released a study suggesting that simulated reasoning (SR) models, such as OpenAI's o1 and o3, DeepSeek-R1, and Claude 3.7 Sonnet Thinking, produce outputs consistent with pattern-matching from training data when faced with novel problems requiring systematic thinking. The researchers found similar results to a recent study by the United States of America Mathematical Olympiad (USAMO) in April, showing that these same models achieved low scores on novel mathematic

Topics: apple mathematical models reasoning researchers
Read More
Shop Amazon

After 20 years, math couple solves major group theory problem

news.ycombinator.com Leila Sloman 2025-06-02 09:09:56

After the conjecture was posed in the 1970s, dozens of mathematicians tried their hand at proving it. They made partial progress — and in the process they learned a great deal about groups, which are abstract objects that describe the various symmetries of a mathematical system. But a full proof seemed out of reach. Then Späth came along. Now, 20 years after she first learned about the problem and more than a decade after she met Cabanes, the two mathematicians have finally completed the proof.

Topics: conjecture group groups mathematicians mckay
Read More
Shop Amazon

After 20 Years, Math Couple Solves Major Group Theory Problem

news.ycombinator.com Leila Sloman 2025-06-02 19:09:56

After the conjecture was posed in the 1970s, dozens of mathematicians tried their hand at proving it. They made partial progress — and in the process they learned a great deal about groups, which are abstract objects that describe the various symmetries of a mathematical system. But a full proof seemed out of reach. Then Späth came along. Now, 20 years after she first learned about the problem and more than a decade after she met Cabanes, the two mathematicians have finally completed the proof.

Topics: conjecture group groups mathematicians mckay
Read More
Shop Amazon
Trending Topics
Hot Now
ai 1474 apple 1089 new 891 content 838 google 671
Popular
zdnet 644 amazon 644 like 636 does 525 reviews 518 company 516 editorial 504 day 490 app 477 prime 445
Emerging
said 443 data 438 samsung 393 phone 390 game 382 pro 378 just 368 android 351 deals 336 galaxy 321
About GoKawiil

GoKawiil is a project by nerdhub.co that curates technology news from trusted sources. We built this site to provide a cleaner, more mobile-friendly experience without intrusive ads or heavy JavaScript.

Privacy

Your privacy matters. GoKawiil doesn't use Google Analytics or Facebook Pixel. The only tracking occurs through affiliate links to Amazon.

Advertising

Interested in advertising? Contact us at [email protected]