Back to home

Section: AI (without „Open source, Open Source")

60 noviniek

Results

Sobota 11. júla 2026

Výskum ⭐ Notable

Mathematicians put AI to work on Fermat's Last Theorem

A team led by Kevin Buzzard at Imperial College London is using AI to encode Fermat's Last Theorem into the Lean proof assistant library Mathlib, with the codebase doubling on the first day of the collaborative effort.

11. júl 2026 New Scientist

Piatok 10. júla 2026

Štvrtok 9. júla 2026

Výskum ⭐ Notable

Separating Signal from Noise in Coding Evaluations

OpenAI found that SWE-bench Verified has fundamental design and contamination issues and no longer provides meaningful signal on software development capabilities, recommending the community switch to SWE-Bench Pro.

9. júl 2026 OpenAI

Streda 8. júla 2026

Biznis ⭐ Notable

Figma acquires team behind a vibe-coding app

Figma acquired the team behind Y Combinator-backed Bud (formerly Orchids), a vibe-coding and AI agent creation platform. Bud and Orchids will shut down by July 18, 2026.

8. júl 2026 TechCrunch

Utorok 7. júla 2026

Pondelok 6. júla 2026