The Mathematics Search Engine

41+ min ago   (176+ words) It turns out groundbreaking math in the era of AI just involves asking an LLM nicely for the result. Dinitz-Garg-Goemans conjecture is false. This graph theory problem was open for ~30 years.The graph below has fractional flow cost 58. Any unsplittable…...

2+ hour, 10+ min ago   (93+ words) SRNL will lead the following projects: SRNL will also partner on a project led by Pacific Northwest National Laboratory and a project led by Vanderbilt University. Learn more about the DOE Genesis Mission initiative project awards here and the Genesis…...

47+ min ago   (330+ words) KAIST (President Choongsik Bae) announced on July 23 that a team led by Professor Il-Chul Moon from the KAIST AX Department won the Visual Grounded Physics Problem Solving Challenge, organized by the AI4Math Workshop, an official workshop of the International Conference on…...

10+ hour, 20+ min ago   (199+ words) PostHog co-CEO James Hawkins details the company's shift to AI-native self-driving software, emphasizing ambition and the iterative process of building autonomous solutions. Visual TL;DR. PostHog: Product Analytics leads to AI Platform Shift. AI Platform Shift drives AI-Native Self-Driving. AI-Native…...

1+ hour, 52+ min ago   (469+ words) For more than a century, scientists have searched for superconductors that could one day make the nation's electrical grid more efficient, improve MRIs and other medical imaging technologies, and advance quantum computing. But discovering new superconductors has long been one…...

2+ hour, 25+ min ago   (1028+ words) On a GPU inference pod, CPU is a decorrelated proxy: it can sit at 30% while the accelerator is pinned and requests pile up behind it. Scale on the signal actually on the critical path—backlog and GPU utilization—with KEDA....

2+ hour, 20+ min ago   (125+ words) digitimes Xpeng shifts toward Physical AI with robotaxi, robot, flying car Keep me signed in - Track financials & stock data of Taiwan tech. - Samsung eyes marquee AI win as Anthropic explores custom chip beyond Nvidia - Intel deepens ties with Taiwan's chip…...

5+ hour, 35+ min ago   (383+ words) Argonne has been awarded funding to lead and collaborate on a sweeping portfolio of AI-driven research projects that will accelerate discovery on some of the nation's most complex challenges and redefine how scientists harness AI. DOE SCIENCE NEWS SOURCE Argonne…...

8+ hour, 40+ min ago   (1573+ words) Job Description Job Description The Opportunity Based in Hyderabad, join a global healthcare biopharma company and be part of a 130- year legacy of success backed by ethical integrity, forward momentum, and an inspiring mission to achieve new milestones in global…...

1+ hour, 32+ min ago   (227+ words) Santa Cruz Sentinel WATSONVILLE — Jessica Serna Castaneda leads a group of campers building a 24-cell octahedron last week at Summer Math Circle Camp at Sequoia High School in Watsonville. Eighteen students, grades 5-9, were treated to a week of “challenging and…...