Software engineer Chris Dzoba used two AI models to find a simple symmetric 17-set Venn diagram
Chris Dzoba had two AI models design a search that found a simple, rotationally symmetric 17-set Venn diagram, the next size after 2014's 13-set one. A result like this can be confirmed by counting, yet so far its only reported check is one mathematician zooming in by eye.
Reality
- Evidence35
- Adoption
- Not scored
- Hype gap+20
- Incentives
- Not scored
- Confidence40
Terence Tao names AI's arrival in math research a crisis in the field's values
Scientific American's account from the mathematicians' congress in Philadelphia has a Fields medalist quitting for OpenAI and a Millennium Prize problem falling to an opaque mix of models, with no verification trail reported for either.
Reality
- Evidence30
- Adoption35
- Hype gap+45
- Incentives65
- Confidence35
Anthropic says a consultant in Bamako used Claude to engineer a monitoring system scoped to roughly 25 million SIM cards across Mali's three mobile operators. Because the platform ran on other models, it kept running after the ban.
Perspective Coverage
5 publishers
- Builder
- Builder 26%
- Operator
- Operator 53%
- Investor
- Investor 21%
Reality
- Evidence45
- Adoption
- Not scored
- Hype gap+15
- Incentives65
- Confidence55
buildConfirmed5 publishers Anthropic's third misuse report says its 2025 Claude models sat well below the level that could help a sophisticated user with dangerous biology, and that for current models it can no longer make that assurance.
Perspective Coverage
5 publishers
- Builder
- Builder 28%
- Operator
- Operator 52%
- Investor
- Investor 20%
Reality
- Evidence50
- Adoption
- Not scored
- Hype gap+20
- Incentives65
- Confidence55
RoboCurve times Astra's zero-shot picks at two and a half minutes each
RoboCurve scored 19 successes in 20 physical attempts on a pair of I2RT YAM arms, at roughly 2.1k output tokens a run. The humanoid pickup described in the same account happened in a simulator.
Reality
- Evidence20
- Adoption8
- Hype gap+55
- Incentives55
- Confidence28
Anthropic weighs a new model as Ramp puts Astra at 13% of tracked enterprise spend
Reuters says the deliberation includes a safety review of the model itself and a judgment about profitability, and it comes days after Dario Amodei asked the industry to slow down building more capable systems.
Reality
- Evidence38
- Adoption52
- Hype gap+22
- Incentives68
- Confidence40
buildOne report1 publisher Opening the cohttp fix PR drew traversal probes within ten minutes
Anil Madhavapeddy patched a path traversal bug in OCaml's cohttp and found probes for it in his logs ten minutes after opening the fix PR. His own agent had already built the exploit from a bug-class hint.
Publishers:anil.recoil.org
Reality
- Evidence52
- Adoption44
- Hype gap+14
- Incentives55
- Confidence57
Five model releases in three days push the re-benchmarking bill onto buyers
Gartner puts this year's AI spending at $2.59 trillion, but the software and services layer the labs actually compete for is barely $1 trillion of it, which is what the compressed release calendar is defending.
Reality
- Evidence54
- Adoption31
- Hype gap+33
- Incentives76
- Confidence55